Automated theorem proving : a logical basis /

Bibliographic Details

Main Author:	Loveland, Donald W.
Format:	Book
Language:	English
Published:	Amsterdam ; New York : North-Holland Pub. Co. ; 1978.
Series:	Fundamental studies in computer science ; v. 6.
Subjects:	Automatic theorem proving.