Automated Theorem Proving: Course Content
- Introduction
- Propositional logic
- 1st order logic
- Using ATP Systems
- General Purpose Improvements
- Prolog
- Refinements of the Resolution Procedure - Saturation Based
- Equality Reasoning
- Refinements of the Resolution Procedure - Goal Oriented
- Instantiation Based Methods