Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science - David M. Sandford - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540102311 - August 1, 1980
In case cover and title do not match, the title is correct

Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science 1980 edition

David M. Sandford

Price
₩ 81,375

Ordered from remote warehouse

Expected delivery Jul 28 - Aug 5

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science 1980 edition

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 )