Princeton University
Computer Science Dept.
Computer Science 496
Automated Theorem Proving
Andrew W. Appel
Spring 2001
Assignments 4
Assignment Description
in postscript.
One required files:
proving.tar
.
