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

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	AISC (BerichterstatterIn), Calculemus (BerichterstatterIn), MKM (BerichterstatterIn), CICM (BerichterstatterIn)
Weitere Verfasser:	Jeuring, Johan (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg Springer 2012
Schriftenreihe:	Lecture notes in computer science 7362 : Lecture notes in artificial intelligence
Schlagworte:	Computer science > Mathematics > Artificial intelligence > Konferenzschrift > Künstliche Intelligenz > Computeralgebra > Automatisches Beweisverfahren > Mathematik > Wissensmanagement
Online Zugang:	Inhaltstext Inhaltsverzeichnis Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!