Items related to Instantiation Theory: On the Foundations of Automated...

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

Williams, James G.

 
9780387543338: Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387543333 ISBN 13: 9780387543338
Publisher: Springer-Verlag, 1991

Synopsis

Instantiation Theory 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. Full description

"synopsis" may belong to another edition of this title.

Publisher
Springer-Verlag
Publication date
1991
Language
English
ISBN 10 
0387543333
ISBN 13 
9780387543338
Binding
Paperback