Theorem proving with abstraction
By: by David A. Plaisted.
Series: [Report] - UIUCDCS-R-79 ; 961,965
Publisher: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Published: 1979
Place of publication: Urbana
Language: eng
Subjects: Automatic theorem proving.; Predicate calculus.
Notes: Includes bibliographical references.
"UILU-ENG 79-1706, [1711]."