Introduction to mechanical theorem proving.
Series: Monographs in computer science and computer applications,; no. 10/71
Publisher: Pontifícia Universidade Católica do Rio de Janeiro]
Published: 1971
Place of publication: [Rio de Janeiro
Language: eng
Number of pages: 13
Subjects: Automatic theorem proving.
Notes: Includes bibliographical references.