Deskribapena: 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

Gorde:

Xehetasun bibliografikoak
Formatua:	Liburua
Hizkuntza:	ingelesa
Gaiak:	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.
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Deskribapena
Gaia:	Summary goes here
Alearen deskribapena:	General Notes
Deskribapen fisikoa:	1 online resource (xv, 384 pages) :illustrations (black and white)
ISBN:	9783642393204 3642393209