CSC447 - Home Work
Selected Answers
8 Puzzle Space
Python Intro
Searching Puzzle Space
The Structure of 8 Puzzle Space
Semantic Tableaux
SemTab prover