Proof Lengths for Equational Completion.
David A. PlaistedAndrea Sattler-KleinPublished in: Inf. Comput. (1996)
Keyphrases
- theorem proving
- theorem prover
- proof planning
- automated theorem proving
- inference rules
- geometry theorem proving
- knuth bendix
- first order logic
- term rewriting
- database
- proof search
- computer vision
- neural network
- equational theories
- three dimensional
- multiscale
- artificial neural networks
- face recognition
- information systems
- natural deduction
- databases