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)

web site by Lucy Day Hobor ~ 2008-2009