Cover Image

Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 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
Corporate Author: SpringerLink (Online service)
Other Authors: Carette, Jacques. (Editor), Dixon, Lucas. (Editor), Coen, Claudio Sacerdoti. (Editor), Watt, Stephen M. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Series:Lecture Notes in Computer Science, 5625
Subjects:
Computer science.
Computer Communication Networks.
Electronic data processing.
Algebra > Data processing.
Data mining.
Information systems.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Data Mining and Knowledge Discovery.
Information Systems Applications (incl.Internet).
Symbolic and Algebraic Manipulation.
Numeric Computing.
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-02614-0

Fulltext / Holdings URL

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

Similar Items