Cover Image

Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings /

This book constitutes the joint refereed proceedings of the 10th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2010, the 17th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2010, and the 9th International Conference on M...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Autexier, Serge. (Editor), Calmet, Jacques. (Editor), Delahaye, David. (Editor), Ion, Patrick D. F. (Editor), Rideau, Laurence. (Editor), Rioboo, Renaud. (Editor), Sexton, Alan P. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:Lecture Notes in Computer Science, 6167
Subjects:
Computer science.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-14128-7

Fulltext / Holdings URL

https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-14128-7

Similar Items