Login / Signup
LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description).
Christoph Benzmüller
Lawrence C. Paulson
Frank Theiss
Arnaud Fietzke
Published in:
IJCAR (2008)
Keyphrases
</>
theorem prover
higher order logic
cooperative
automated reasoning
theorem proving
inference rules
automated theorem proving
first order logic
term rewriting
higher order
natural deduction
formal proof
high level
proof planning
boolean algebra
proof search
knowledge representation
multi agent