Recomienda este artículo a tus amigos:
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings - Lecture Notes in Computer Science R Gore 2001 edition
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings - Lecture Notes in Computer Science
R Gore
708 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 6 de junio de 2001 |
| ISBN13 | 9783540422549 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 712 |
| Dimensiones | 155 × 235 × 36 mm · 1,08 kg |
| Lengua | Alemán |
| Editor | Gore, Rajeev |
| Editor | Leitsch, Alexander |
| Editor | Nipkow, Tobias |