Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 10 de julio de 2009 |
| ISBN13 | 9783642029585 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 504 |
| Dimensiones | 155 × 235 × 28 mm · 771 g |
| Lengua | Francés |
| Editor | Schmidt, Renate |