Login / Signup
ileanTAP: An Intuitionistic Theorem Prover.
Jens Otten
Published in:
TABLEAUX (1997)
Keyphrases
</>
theorem prover
theorem proving
automated reasoning
first order logic
inference rules
term rewriting
automated theorem proving
natural deduction
formal semantics
computer algebra
formal proof
higher order logic
mathematical knowledge
boolean algebra
proof search