Using sophisticated models in resolution theorem proving /

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Sandford, David M. (Editor)
Format:	eBook
Language:	English
Published:	Berlin : Springer, 1980.
Series:	Lecture notes in computer science ; 90.
Subjects:	Computer science. Mathematical Logic and Formal Languages. Electronic books.
Online Access:	Connect to the full text of this electronic book