CECS Home | ANU Home | Search ANU
The Australian National University
ANU College of Engineering and Computer Science
Department of Computer Science
COMP4630/COMP6463
Introduction
Schedule and Notes
Labs and Tutorials
Assignments
Assessment Scheme
Marks and Lab Registration
Reading Material
Forums
People
CECS Links
DCS Home
CECS Home
ANU Home
Printer Friendly Version of this Document

UniSAFE

COMP4630/COMP6463 - Overview of Logic and Computation

Text Books

To be specified.

Last updated Mon Feb 16 15:12:33 EST 2009 by u1447109
Please direct all enquiries to: consultant@cs.anu.edu.au
Page authorised by: Head of Department, DCS
The Australian National University — CRICOS Provider Number 00120C