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

Name: Automated Theorem Proving: A Logical Basis (Fundamental studies in computer science)
Author: Donald W. Loveland
ISBN: 9780720404999

Publisher North-Holland

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

Price not listed

Book Details

ISBN / ASIN0720404991

ISBN-139780720404999

Sales Rank2,184,360

MarketplaceUnited States 🇺🇸