Login / Signup

A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers.

Predrag JanicicAlan BundyIan Green
Published in: CADE (1999)
Keyphrases
  • decision procedures
  • theorem proving
  • theorem prover
  • automated reasoning
  • machine learning
  • knowledge representation
  • inference rules
  • automated theorem proving
  • higher order logic