Instantiation Theory: On the Foundations of Automated Deduction

By James G. Williams and Jörg H. Siekmann

This monograph presents a new, general algorithm for use in building theorem provers and logic programming systems. The algorithm is based on a theory that may be developed into a general theory of logics. Appropriate applications of the algorithm and its underlying theory are given.

• Format: Paperback
• Language: English
• ISBN: 3540543333
• ISBN13: 9783540543336
• Release Date: August 1991
• Publisher: Springer
• Length: 136 Pages
• Weight: 0.48 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"