https://www.ebooknetworking.net/books_detail-0387102310.html

Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science)

Name: Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science)
Author: D. M. Sandford
ISBN: 9780387102313

AuthorD. M. Sandford

PublisherSpringer-Verlag

Shop on Amazon — choose your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

47.45 49.95 USD

Buy New on Amazon 🇺🇸 Buy Used — $20.37

Usually ships in 24 hours

Book Details

Author(s)D. M. Sandford

PublisherSpringer-Verlag

ISBN / ASIN0387102310

ISBN-139780387102313

AvailabilityUsually ships in 24 hours

Sales Rank8,119,957

MarketplaceUnited States 🇺🇸