Login / Signup
Experimenting with Deduction Modulo.
Guillaume Burel
Published in:
CADE (2011)
Keyphrases
</>
inference rules
theorem proving
theorem prover
lower bound
automated deduction
high level
expert systems
prior knowledge
computer algebra