Automated theorem proving
Subtitle: theory and practice
By: Monty Newborn.
Publisher: Springer
Published: 2001
Place of publication: New York
Language: eng
Number of pages: 231
Subjects: Automatic theorem proving
Notes: Includes bibliographical references (p. [207]-210) and index.

System requirements: Unix, Linux, Solaris, FreeBSD, or AIX.