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