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 |