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

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

Shop on Amazon — choose your country

Book Details

ISBN / ASIN0720404991

ISBN-139780720404999

MarketplaceFrance 🇫🇷