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

Supported in part by the National Science Foundation under grant MCS 77-22830.