
Tell your friends about this 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
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | August 1, 1980 |
ISBN13 | 9783540102311 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 242 |
Dimensions | 155 × 233 × 13 mm · 367 g |
Language | English |
See all of David M. Sandford ( e.g. Paperback Book )