Semester page for INF9170 - Autumn 2015
Joint teaching
This course has jointly taught classes with INF5170 – Master seminar in logic (discontinued). See this course's semester page for schedule and messages.
This course has jointly taught classes with INF5170 – Master seminar in logic (discontinued). See this course's semester page for schedule and messages.