Skip to main content
Member $avings: $82,013,353.63 | Books Available: 663,338 | Members Online: 29
Swap Used Books - Buy New Books at Great Prices!
PBS logo
 
 

Search - Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science 518)

Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science 518)
Instantiation Theory On the Foundations of Automated Deduction - Lecture Notes in Computer Science 518
Author: James G. Williams
Instantiation Theory presents a new, general unification algorithm that is of immediate use in building theorem provers and logic programming systems. Instantiation theory is the study of instantiation in an abstract context that is applicable to most commonly studied logical formalisms. The volume begins with a survey of general approaches to t...  more »
ISBN-13: 9780387543338
ISBN-10: 0387543333
Pages: 133
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2025 PaperBackSwap.com. All Rights Reserved.