Beschreibung: Intelligent computer mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger (eds.).

Summary goes here

Gespeichert in:

Bibliographische Detailangaben
Format:	Buch
Sprache:	Englisch
Schlagworte:	Computer science Artificial intelligence Artificial intelligence. Artificial Intelligence Mathematical Computing Informatique Intelligence artificielle Intelligence artificielle. artificial intelligence. Computer science. Algebra > Data processing. Information storage and retrieval systems. Symbolic and Algebraic Manipulation. Math Applications in Computer Science. Mathematical Logic and Formal Languages. Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Summary goes here
Beschreibung:	General Notes
Beschreibung:	1 online resource (xv, 384 pages) :illustrations (black and white)
ISBN:	9783642393204 3642393209