CS 8771 Advanced Computational Logic, Spring '08
Instructor:
Hudson Turner
Office hours: MF 9:00-10:30, and by appt. (Heller Hall 327a)
email: hudson@d.umn.edu