Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Bibliographische Detailangaben

Körperschaft:	CICM (VerfasserIn)
Weitere Verfasser:	Kohlhase, Michael (HerausgeberIn), Johansson, Moa (HerausgeberIn), Miller, Bruce (HerausgeberIn), de Moura, Leonardo (HerausgeberIn), Tompa, Frank (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham, Heidelberg Springer 2016
Schriftenreihe:	Lecture notes in computer science 9791
Schlagworte:	Konferenzschrift > Künstliche Intelligenz > Computeralgebra
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!