Automated Theorem Proving: A Logical Basis (Fundamental studies in computer science) Buy on Amazon
Facebook LinkedIn

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

Author Donald W. Loveland
Publisher North-Holland
Shop on Amazon — pick your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
Buy New on Amazon 🇺🇸 Used — $9.96
Book Details
Author(s) Donald W. Loveland
Publisher North-Holland
ISBN / ASIN 0720404991
ISBN-13 9780720404999
Sales Rank #2,184,360
Marketplace United States 🇺🇸
Donate to EbookNetworking
← No Prev
No Next →