Conte aos seus amigos sobre este item:
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - Lecture Notes in Computer Science Nachum Dershowitz 2007 edition
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - Lecture Notes in Computer Science
Nachum Dershowitz
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia.
564 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 8 de outubro de 2007 |
| ISBN13 | 9783540755586 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 564 |
| Dimensões | 155 × 235 × 29 mm · 884 g |
| Idioma | Francês |
| Editor | Dershowitz, Nachum |
| Editor | Voronkov, Andrei |
Mais por Nachum Dershowitz
Mostrar tudoVer tudo de Nachum Dershowitz ( por exemplo Paperback Book e Hardcover Book )
Presentes de Natal podem ser trocados até 31 de janeiro