Instantiation theory : on the foundations of automated deduction /
Williams, James G.
Instantiation theory : on the foundations of automated deduction / [by] J.G. Williams. - Berlin : Springer-Verlag, 1991. - viii, 133 p. : ill. ; 25 cm. - Lecture notes in artificial intelligence. . - Lecture notes in artificial intelligence. .
Includes bibliographical references (p. 128-133).
0387543333
Automatic theorem proving.
Instantiation theory : on the foundations of automated deduction / [by] J.G. Williams. - Berlin : Springer-Verlag, 1991. - viii, 133 p. : ill. ; 25 cm. - Lecture notes in artificial intelligence. . - Lecture notes in artificial intelligence. .
Includes bibliographical references (p. 128-133).
0387543333
Automatic theorem proving.