Tell your friends about this item:
Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings - Lecture Notes in Artificial Intelligence Renate a Schmidt 2009 edition
Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings - Lecture Notes in Artificial Intelligence
Renate a Schmidt
518 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | July 10, 2009 |
| ISBN13 | 9783642029585 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 504 |
| Dimensions | 155 × 235 × 28 mm · 771 g |
| Language | French |
| Editor | Schmidt, Renate |