Instantiation theory : on the foundations of automated deduction /

Bibliographic Details

Main Author:	Williams, James G.
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1991]
Series:	Lecture notes in computer science ; 518. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving.