Overview of Logic and Computation
Assignments
- Assignment 1, part 2, Automated Reasoning, Due date: April 3, 2009, 5pm
Computer Science Courses
ANU College of Engineering & Computer Science
Updated: 03 August 2011 / Responsible Officer: JavaScript must be enabled to display this email address. / Page Contact: JavaScript must be enabled to display this email address.
+61 2 6125 5111
The Australian National University, Canberra
CRICOS Provider : 00120C
ABN : 52 234 063 906
