Recomienda este artículo a tus amigos:
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings - Lecture Notes in Artificial Intelligence R Nieuwenhuis 2001 edition
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings - Lecture Notes in Artificial Intelligence
R Nieuwenhuis
Each submission was - viewed by at least three program committee members and an electronic program committee meeting was held via the Internet.
741 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 21 de noviembre de 2001 |
| ISBN13 | 9783540429579 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 741 |
| Dimensiones | 155 × 233 × 38 mm · 1,73 kg |
| Lengua | Alemán |
| Editor | Nieuwenhuis, Robert |
| Editor | Voronkov, Andrei |