E-Books durchsuchen
6th Conference on Automated Deduction [1982]
- 1
-
Solving open questions with an automated theorem-proving program
- 32
-
STP: A mechanized logic for specification and verification
- 50
-
A look at TPS
- 70
-
Logic machine architecture: Kernel functions
- 85
-
Logic machine architecture: Inference mechanisms
- 109
-
Procedure implementation through demodulation and related tricks
- 132
-
The application of Homogenization to simultaneous equations
- 144
-
Meta-level inference and program verification
- 151
-
An example of FOL using metatheory
- 159
-
Comparison of natural deduction and locking resolution implementations
- 172
-
Derived preconditions and their use in program synthesis
- 194
-
Automatic construction of special purpose programs
- 209
-
Deciding combinations of theories
- 223
-
Exponential improvement of efficient backtracking
- 240
-
Exponential improvement of exhaustive backtracking: data structure and implementation
- 260
-
Intuitionistic basis for non-monotonic logic
- 274
-
Knowledge retrieval as limited inference
- 292
-
On indefinite databases and the closed world assumption
- 309
-
Proof by matrix reduction as plan + validation
- 326
-
Improvements of a tautology-testing algorithm
- 342
-
Representing infinite sequences of resolvents in recursive First-Order Horn Databases
- 360
-
The power of the Church-Rosser property for string rewriting systems
- 369
-
Universal unification and a classification of equational theories