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