Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings / edited by Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen Watt.

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), Sacerdoti Coen, Claudio (Editor), Watt, Stephen (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edition:	1st ed. 2009.
Series:	Lecture Notes in Artificial Intelligence ; 5625 Springer eBook Collection.
Subjects:	Artificial intelligence. Computers. Data mining. Application software. Computer science—Mathematics. Numerical analysis. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.