Automated theorem proving [electronic resource] : a logical basis / Donald W. Loveland.

Saved in:

Bibliographic Details
Online Access:	Full Text (via ScienceDirect)
Main Author:	Loveland, Donald W.
Format:	Electronic eBook
Language:	English
Published:	Amsterdam ; New York : New York : North-Holland Pub. Co. ; Sole distributor for the U.S.A. and Canada, Elsevier North-Holland, 1978.
Series:	Fundamental studies in computer science ; v. 6.
Subjects:	Automatic theorem proving.

Internet

Holdings details from Online
Call Number:	QA76.9.A96
QA76.9.A96	Available