
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 2013 edition
Ken Mcmillan
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 2013 edition
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 | German |
Editor | McMillan, Ken |
Editor | Middeldorp, Aart |
Editor | Voronkov, Andrei |
Ver tudo de Ken Mcmillan ( por exemplo Paperback Book e Hardcover Book )