Implementing Theorem Provers in a Purely Functional Style.
Keith HannaPublished in: J. Funct. Program. (1999)
Keyphrases
- theorem prover
- theorem proving
- automated reasoning
- automated theorem proving
- first order logic
- inference rules
- term rewriting
- computer algebra
- automated deduction
- formal semantics
- higher order logic
- timed automata
- artificial intelligence
- computer algebra systems
- probabilistic reasoning
- proof search
- semi supervised
- natural language
- proof planning
- machine learning