Theorem Proving and Model Building with the Calculus KE.
Jeremy PittJim CunninghamPublished in: Log. J. IGPL (1996)
Keyphrases
- theorem proving
- proof procedure
- automated deduction
- automated theorem proving
- term rewriting
- proof search
- timed automata
- theorem prover
- first order logic
- natural deduction
- automated reasoning
- decision procedures
- inference rules
- proof planning
- automatic programming
- parallel search
- logical inference
- consequence finding
- combinatorial search
- computer algebra
- semi supervised
- distributed search
- sequent calculus
- geometry theorem proving