Tell your friends about this item:
Intelligent Computer Mathematics - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence James H Davenport
Intelligent Computer Mathematics - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
James H Davenport
Constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a track on Systems and Projects descriptions.
325 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | July 18, 2011 |
| ISBN13 | 9783642226724 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 325 |
| Dimensions | 155 × 235 × 18 mm · 476 g |
| Language | French |
| Editor | Davenport, James H. |
| Editor | Farmer, William M. |
| Editor | Rabe, Florian |
| Editor | Urban, Josef |
More by James H Davenport
Show allMere med samme udgiver
See all of James H Davenport ( e.g. Paperback Book )