Description: Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science 518) [Paperback] [1991] Williams, James G. - Very Good condition
Price: 8.7 USD
Location: New York NY
End Time: 2025-01-19T18:52:37.000Z
Shipping Cost: 4.63 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Book Title: Instantiation Theory: On the Foundations of Automated Deduc
Number of Pages: 133 Pages
Publication Name: Instantiation Theory : on the Foundations of Automated Deduction
Language: English
Publisher: Springer
Subject: Intelligence (Ai) & Semantics, Logic
Publication Year: 1991
Type: Textbook
Subject Area: Mathematics, Computers
Author: J. G. Williams
Series: Lecture Notes in Artificial Intelligence
Format: Hardcover
