Event Beta

International Conference on Intelligent Computer Mathematics

Name: International Conference on Intelligent Computer Mathematics
Start: 2012-07-08
End: 2012-07-13
Location: Bremen

AISCCICMMKM/AISC/Calculemus 2012

Date: 2012-07-08/13
Place: Bremen, Germany on the map
Series: Artificial Intelligence and Symbolic Computation, Conference on Intelligent Computer Mathematics, Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus)
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e106aj3

Proceedings

Title	DOI	Year	Record
Intelligent Computer Mathematics LNCS 7362	10.1007/978-3-642-31374-5	2012	Springer
Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings Lecture Notes in Computer Science 7362	10.1007/978-3-642-31374-5	2012	dblp
Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012	10.1007/978-3-642-31374-5	2012	Wikidata

The facts above are taken from the source first in precedence (ConfIDent, Springer, dblp, Wikidata, the portal, the GND).

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)	`http://lod.springer.com/data/conference/mkm2012`
confref portal (2020)	`https://id.confref.org/data/confref-portal/event/aisc2012` · page `https://id.confref.org/data/confref-portal/event/mkm2012` · page
Wikidata	`http://www.wikidata.org/entity/Q105979018`
dblp	`https://dblp.org/db/conf/aisc/aisc2012`
GND	`https://d-nb.info/gnd/1023842416` `https://d-nb.info/gnd/1023842548` `https://d-nb.info/gnd/102393292X`

International Conference on Intelligent Computer Mathematics. confref identifier e106aj3. https://id.confref.org/event/e106aj3

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.