Automated Theorem Proving: Theory And Practice With Disk; Author: Newborn, Monty; Author: Newborn, Monroe; Hardback; CD-ROM

Author: Newborn, Monty; Author: Newborn, Monroe
Hardback; CD-ROM
200 pages
Published: December 2000
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 0387950753

This book/software package introduces the reader to automated theorem proving and provides two approaches implemented as easy-to-use programs. The author shows how the two approaches, semantic tree theorem proving and resolution-refutation theorem proving, work and provides numerous examples for readers to try their hand at theorem-proving experiments. Each chapter provides exercises that will familiarize readers with both the ideas and the software.This work and software package introduce 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.