
Conte aos seus amigos sobre este item:
Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science 1980 edition
David M. Sandford
Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science 1980 edition
David M. Sandford
242 pages, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 1 de agosto de 1980 |
ISBN13 | 9783540102311 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 242 |
Dimensões | 155 × 233 × 13 mm · 367 g |
Idioma | English |
Ver tudo de David M. Sandford ( por exemplo Paperback Book )