Sign in
Making Automatic Theorem Provers more Versatile.
Simon Cruanes
Published in:
ARCADE@CADE (2017)
Keyphrases
</>
theorem prover
theorem proving
automated reasoning
automated theorem proving
computer algebra
first order logic
term rewriting
automated deduction
inference rules
lower layers
higher order logic
expert systems
proof search
fully automatic
formal semantics
propositional logic
semi automatic
data mining