Using sophisticated models in resolution theorem proving /

Bibliographic Details

Main Author:	Sandford, David M.
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1980.
Series:	Lecture notes in computer science ; 90.
Subjects:	Automatic theorem proving. Mathematical models.