E-Books durchsuchen
First-Order Logic and Automated Theorem Proving [1990]
- 1
-
Background
- 8
-
Propositional Logic
- 36
-
Semantic Tableaux and Resolution
- 70
-
Other Propositional Proof Procedures
- 97
-
First-Order Logic
- 126
-
First-Order Proof Procedures
- 139
-
Implementing Tableaux and Resolution
- 194
-
Equality