Connection Calculus Theorem Proving with Multiple Built-in Theories.
Uwe PetermannPublished in: J. Symb. Comput. (2000)
Keyphrases
- theorem proving
- automated deduction
- proof procedure
- automated theorem proving
- term rewriting
- first order logic
- theorem prover
- decision procedures
- automated reasoning
- proof search
- parallel search
- geometry theorem proving
- natural deduction
- automatic programming
- proof planning
- predicate calculus
- logical inference
- inference rules
- timed automata
- equational theories
- bayesian networks
- artificial intelligence