Progress in the Development of Automated Theorem Proving for Higher-Order Logic.

Geoff Sutcliffe Christoph Benzmüller Chad E. Brown Frank Theiss

Published in: CADE (2009)

Keyphrases

automated theorem proving
theorem prover
higher order logic
theorem proving
software engineering
artificial intelligence
decision trees
logical framework