Incresing the Versatility of Heuristic Based Theorem Provers.
Alistair ManningAndrew IrelandAlan BundyPublished in: LPAR (1993)
Keyphrases
- theorem prover
- first order logic
- automated reasoning
- theorem proving
- term rewriting
- automated theorem proving
- computer algebra
- automated deduction
- higher order logic
- inference rules
- natural deduction
- timed automata
- computer algebra systems
- proof search
- formal semantics
- model checking
- higher order
- natural language
- genetic algorithm