Visualizing Proof Search for Theorem Prover Development.
John ByrnesMichael BuchananMichael ErnstPhilip MillerChris RobertsRobert KellerPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- theorem prover
- proof search
- theorem proving
- inference rules
- automated reasoning
- proof planning
- first order logic
- linear logic
- term rewriting
- automated theorem proving
- natural deduction
- search procedure
- formal proof
- boolean algebra
- formal semantics
- machine learning
- knowledge representation
- proof procedure
- constraint satisfaction
- supervised learning
- software engineering