Plaisted, D. (1981): Theorem Proving with Abstraction


Title: Theorem Proving with Abstraction
Author(s): Plaisted, D.
Year: 1981
Journal: Artificial Intelligence
Volume: 16
Pages: 47-108

Concepts