Conte aos seus amigos sobre este item:
7th International Conference on Automated Deduction: Proceedings - Lecture Notes in Computer Science R E Shostak 1984 edition
7th International Conference on Automated Deduction: Proceedings - Lecture Notes in Computer Science
R E Shostak
Following the Argonne conference were meetings in Oberwolfach, West Germany (1976), Cambridge, Massachusetts (1977), Austin, Texas (1979), Les Arcs, France (19S0), and New York, New York (19S2).
509 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 18 de maio de 1984 |
| ISBN13 | 9780387960227 |
| Editoras | Springer-Verlag New York Inc. |
| Páginas | 512 |
| Dimensões | 155 × 235 × 26 mm · 721 g |
| Idioma | Inglês |
| Editor | Shostak, R. E. |