Login / Signup
Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving.
Li Dafa
Published in:
J. Autom. Reason. (1997)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
orders of magnitude
computational complexity
optimization problems
significant improvement
natural deduction
learning algorithm
data structure
first order logic
relational databases
computational cost
sufficient conditions