Automated Theorem Proving: Practicum
Encoding and Solving Problems
The ATP Process
English to Logic
1st Order ATP Software
ATP System Features
ATP Support Software
Using the TPTP World
Tasks and Challenges
Translating Sentences
TPTP Games
ATP System Features
Encoding a Theory