Automated theorem proving : a logical basis /

Automated Theorem Proving: A Logical Basis.

Bibliographic Details
Main Author:	Loveland, Donald W.
Corporate Author:	ScienceDirect (Online service)
Format:	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. Théorèmes > Démonstration automatique. MATHEMATICS > General. Automatic theorem proving Beweistheorie Electronic books.
Online Access:	Connect to the full text of this electronic book

by Loveland, Donald W.
Published 1978

Book