Description: Note: Any images shown are stock photographs and product may differ from what is shown. You are purchasing a Good copy of 'Automated theorem proving: A logical basis (Fundamental studies in computer science)'Condition Notes: Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can included some highlighting and writing, page and cover creases as well as other types visible wear.
Price: 9.68 USD
Location: San Jose, California
End Time: 2024-11-09T15:37:14.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Release Year: 1978
Book Title: Automated theorem proving: A logical basis (Fundamental studie...
Publisher: Elsevier Science & Technology Books
Subject: Intelligence (Ai) & Semantics
Publication Year: 1978
Number of Pages: 406 Pages
Language: English
Publication Name: Automated Theorem Proving : a Logical Basis
Type: Textbook
Subject Area: Computers
Author: D. W. Loveland
Series: Fundamental Studies in Computer Science
Format: Hardcover
