Skip navigation
The Australian National University

Overview of Logic and Computation COMP6463

» Course website at http://cs.anu.edu.au/courses/COMP6463

» Entry on Study@ANU

Course info

Study period: 2nd semester

Unit Value: 6 units

People

Convenors / lecturers

Jinbo Huang convenor

Peter Baumgartner convenor

Michael Norrish convenor

Jeremy Dawson convenor

John Slaney convenor

Rajeev Gore convenor

Tutors

More information

» Course overview

» Learning outcomes

Responsible Officer:  JavaScript must be enabled to display this email address. / Page Contact:  JavaScript must be enabled to display this email address.