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

Buy New on Amazon 🇫🇷

Book Details

Author(s)D. M. Sandford

PublisherSpringer-Verlag

ISBN / ASIN0387102310

ISBN-139780387102313

MarketplaceFrance 🇫🇷