Automated Theorem Proving : Theory and Practice /

This text and software package introduces the reader to automated theorem proving and provides two approaches implemented as easy-to-use programs. The two approaches studied are semantic tree theorem proving and resolution-refutation theorem proving. The first chapters introduce the reader to first-...

Full description

Bibliographic Details

Main Author:	Newborn, Monroe
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 2001.
Subjects:	Computer science. Artificial intelligence. Electronic books.
Online Access:	Connect to the full text of this electronic book