Theorem proving with abstraction, part I
By: by David A. Plaisted
Series: Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) -- no. 961; Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) -- no. 961
Publisher: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Published: 1979
Place of publication: Urbana
Language: eng
Number of pages: 47
Subjects: Automatic theorem proving
Notes: "UILU-ENG 79-1706."

Bibliography: p. 47.