Home
Basic Information
Announcements
Assignments
Syllabus
The ACL2 Sedan
Contact Info
Computational Logic
CS 7480 Fall 2010
College of Computer and Information Science
Northeastern University
Professor
Pete Manolios
Office hours: Fridays 3:30-4:30PM, WVH 346, and by request
Email: