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 /
Annotation 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, th...
| Corporate Authors: | Calculemus (Symposium) Grand Bend, Ont.) |
|---|---|
| Other Authors: | Calculemus (Symposium), Carette, Jacques (Computer scientist), SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin :
Springer,
2009.
Berlin : 2009. |
| Physical Description: |
1 online resource (xix, 491 pages) : illustrations. |
| Series: |
Lecture notes in computer science ;
5625. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |