Deduction and Theorem Proving
Deduction and Theorem Proving I.2.3
Broader Terms
More specific terms
- NT3 ↓ Answer/reason extraction
- NT3 ↓ Deduction
- NT3 ↓ Inference engines
- NT3 ↓ Logic programming
- NT3 ↓ Mathematical induction
- NT3 ↓ Metatheory
- NT3 ↓ Nonmonotonic reasoning and belief revision
- NT3 ↓ Resolution
- NT3 ↓ Uncertainty, ``fuzzy,'' and probabilistic reasoning
