Login / Signup
A Study in the Application of Theorem Proving.
David C. Luckham
Jorge J. Morales
Joachim F. Schreiber
Published in:
AISB/GI (ECAI) (1978)
Keyphrases
</>
theorem proving
first order logic
inference rules
automated deduction
parallel search
theorem prover
term rewriting
proof planning
automated reasoning
decision procedures
combinatorial search
knowledge base
training data
automated theorem proving
geometry theorem proving