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