Course Term: Michaelmas
Course Lecture Information: Lectures are held at the Department of Computer Science.
Course Overview:
This course is taught by the Department of Computer Science, for further information, please click on: http://www.cs.ox.ac.uk/teaching/courses/2018-2019/catsproofsprocs/
Lecturer(s):
Dr Carmen Constantin