Principles of automated theorem proving
By: David A. Duffy.
Series: Wiley professional computing
Publisher: Wiley
Published: 1991
Place of publication: Chichester; New York
Language: eng
Number of pages: 243
Subjects: Automatic theorem proving.
Notes: Includes bibliographical references (p. 225-232) and index.