
Conte aos seus amigos sobre este item:
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings - Lecture Notes in Computer Science
Jrg H Siekmann
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings - Lecture Notes in Computer Science
Jrg H Siekmann
728 pages, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 1 de julho de 1986 |
ISBN13 | 9783540167808 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 728 |
Dimensões | 156 × 234 × 36 mm · 997 g |
Idioma | German |
Editor | Siekmann, Jorg H. |
Ver tudo de Jrg H Siekmann ( por exemplo Paperback Book )