Conte aos seus amigos sobre este item:
Automated Reasoning with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Martin Giese
Automated Reasoning with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Martin Giese
353 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 24 de junho de 2009 |
| ISBN13 | 9783642027154 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 353 |
| Dimensões | 155 × 235 × 20 mm · 544 g |
| Idioma | Francês |
Mais por Martin Giese
Mostrar tudoMais da mesma editora
Ver tudo de Martin Giese ( por exemplo Paperback Book e Hardcover Book )