Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings /

This book constitutes the joint refereed proceedings of the 16th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2009 and the 8th International Conference on Mathematical Knowledge Management, MKM 2009, held in Grand Bend, Canada, as CICM 2009, the Conferenc...

Full description

Bibliographic Details

Call Number:	Libro Electrónico
Corporate Author:	SpringerLink (Online service)
Other Authors:	Carette, Jacques (Editor), Dixon, Lucas (Editor), Sacerdoti Coen, Claudio (Editor), Watt, Stephen (Editor)
Format:	Electronic eBook
Language:	Inglés
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edition:	1st ed. 2009.
Series:	Lecture Notes in Artificial Intelligence, 5625
Subjects:	Artificial intelligence. Computer science. Data mining. Application software. Computer science-Mathematics. Numerical analysis. Artificial Intelligence. Theory of Computation. Data Mining and Knowledge Discovery. Computer and Information Systems Applications. Symbolic and Algebraic Manipulation. Numerical Analysis.
Online Access:	Texto Completo