Automatic proofs for theorems on predicate calculus
By: [by] Sueli M. Santos and Marilia R. Millan.
Contributors: Millan, Marilia Rosa, joint author.
Series: Monographs in computer science and computer applications,; no. 8/72
Publisher: Pontificia Universidade Católica do Rio de Janeiro]
Published: 1972
Place of publication: [Rio de Janeiro
Language: eng
Number of pages: 22
Subjects: Predicate calculus.; Automatic theorem proving.; SNOBOL (Computer program language)
Notes: Bibliography: p. [23]