Login / Signup
A Natural Deduction Automated Theorem Proving System.
Li Dafa
Published in:
CADE (1992)
Keyphrases
</>
automated theorem proving
natural deduction
theorem prover
theorem proving
automated reasoning
inference rules
first order logic
sequent calculus
cut elimination
intuitionistic logic
relational databases
orders of magnitude
linear time temporal logic