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

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3540543333 ISBN 13:  9783540543336
Publisher: Springer, 1991
Softcover