Automated Theorem Proving : Theory and Practice / by Monty Newborn.

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

Online Access:	Full Text (via Springer)
Main Author:	Newborn, Monroe
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 2001.
Subjects:	Computer science. Artificial intelligence.