Spring, 2009
COMP 469
Artificial Intelligence and Neural Networks
Nick Peters
Assignment #1

Questions

Results - The results are given by a derivation tree starting with the axiom MI.

Code - Written using PHP.