Aquinas Hobor
Teaching
Fall 2009: Logic and Formal Systems (CS 3234) (with Martin Henz)
Previous courses
Spring 2009: Foundation in Logic & AI (CS 5209) (with P. S. Thiagarajan)
Aquinas HoborTeachingFall 2009: Logic and Formal Systems (CS 3234) (with Martin Henz) Previous coursesSpring 2009: Foundation in Logic & AI (CS 5209) (with P. S. Thiagarajan) web site by Lucy Day Hobor ~ 2008-2009 |