Conte aos seus amigos sobre este item:
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 2 de dezembro de 2013 |
| ISBN13 | 9783642452208 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Gênero | Aspects (Academic) > Science / Technology Aspects |
| Páginas | 794 |
| Dimensões | 155 × 235 × 41 mm · 1,11 kg |
| Idioma | Alemão |
| Editor | McMillan, Ken |
| Editor | Middeldorp, Aart |
| Editor | Voronkov, Andrei |