Intelligent computer mathematics International Conference, CICM 2015 Washington, DC, USA, July 13-17, 2015, Proceedings

Invited TalksCalculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management -- Projects and Surveys -- Systems and Data.

Bibliographische Detailangaben

Körperschaft:	CICM (VerfasserIn)
Weitere Verfasser:	Kerber, Manfred (HerausgeberIn), Carette, Jacques (HerausgeberIn), Kaliszyk, Cezary (HerausgeberIn), Rabe, Florian (HerausgeberIn), Sorge, Volker (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham, Heidelberg, New York, Dordrecht, London Springer 2015
Schriftenreihe:	Lecture notes in computer science 9150
Schlagworte:	Konferenzschrift > Künstliche Intelligenz > Computeralgebra
Online Zugang:	Inhaltstext Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!