Automated Theorem Proving: Assignments

Using ATP Systems
Using ATP Systems, II make up
Encoding and Solving Foodchains
Encoding and Solving the US Government
Implementing an ATP System, in Prolog