Descripción: 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

Guardado en:

Detalles Bibliográficos
Formato:	Libro
Lenguaje:	inglés
Materias:	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.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Descripción
Sumario:	Summary goes here
Notas:	General Notes
Descripción Física:	1 online resource (xv, 384 pages) :illustrations (black and white)
ISBN:	9783642393204 3642393209