Two Recursion Theoretic Characterizations of Proof Speed-Ups.
James S. RoyerPublished in: J. Symb. Log. (1989)
Keyphrases
- theorem proving
- acyclic database schemes
- theorem prover
- complex objects
- deductive databases
- image processing
- data structure
- natural language
- multiresolution
- genetic algorithm
- decision making
- transitive closure
- automated theorem proving
- natural deduction
- logical rules
- proof planning
- mathematical proofs
- information systems