Recomienda este artículo a tus amigos:
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings - Theoretical Computer Science and General Issues Ken Mcmillan 2013 edition
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings - Theoretical Computer Science and General Issues
Ken Mcmillan
790 pages, 178 black & white illustrations, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 2 de diciembre de 2013 |
| ISBN13 | 9783642452208 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Género | Aspects (Academic) > Science / Technology Aspects |
| Páginas | 794 |
| Dimensiones | 155 × 235 × 41 mm · 1,11 kg |
| Lengua | Alemán |
| Editor | McMillan, Ken |
| Editor | Middeldorp, Aart |
| Editor | Voronkov, Andrei |