Home › Books › Automated Theorem Proving: A Logical Basis (Fundamental stu…
Automated Theorem Proving: A Logical Basis (Fundamental studies in computer science) Buy on Amazon

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

Automated Theorem Proving: A Logical Basis (Fundamental studies in computer science)

AuthorDonald W. Loveland
PublisherNorth-Holland
Shop on Amazon — choose your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
Buy New on Amazon 🇺🇸 Buy Used — $9.96

Book Details

Author(s)Donald W. Loveland
PublisherNorth-Holland
ISBN / ASIN0720404991
ISBN-139780720404999
Sales Rank2,184,360
MarketplaceUnited States  🇺🇸
Donate to EbookNetworking
Prev
Next