Login / Signup
Automated Natural Deduction Prover and Experiments.
Li Dafa
Published in:
TABLEAUX (1997)
Keyphrases
</>
natural deduction
theorem prover
theorem proving
inference rules
automated theorem proving
intuitionistic logic
sequent calculus
first order logic
automated reasoning
cut elimination
fully automated
computer aided
semi automated
training data
machine learning
proof search
neural network