CSE 505 -Computing with Logic
Prof. David Warren - Course information for Spring 2012 is on
Blackboard
Last updated: January 25, 2012