Princeton University
Computer Science Dept.
Computer Science 496
Automated Theorem Proving
Andrew W. Appel
Spring 2001
Assignments 2
Assignment Description
in postscript.
Three required files:
logic.elf
.
sources.cfg
.
as2.elf
.
