Automated Reasoning Winter 2006 |
General information | Professor:
Sheila McIlraith,
, Pratt 398D, sheila-at-cs Lectures: Thursdays 2:00 -- 4:00 PM (Note the day and time change), WB 144 Course announcements FAQ |
About the course |
Syllabus Grading |
Course Work |
Critique of readings Class presentations Course projects |
Slides & Readings | Last updated May 15, 5pm |