Tell your friends about this 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
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | May 18, 1984 |
| ISBN13 | 9780387960227 |
| Publishers | Springer-Verlag New York Inc. |
| Pages | 512 |
| Dimensions | 155 × 235 × 26 mm · 721 g |
| Language | English |
| Editor | Shostak, R. E. |