en
|
de
Department of Computer Science
University of Innsbruck
Home
Research
Teaching
Members
Events
News
Teaching
lectures
bachelor projects
master projects
software
Automatic Deduction
introduction
news
feedback
lecturers
registration
time & place
schedule
grading
Automatic Deduction
master program
VO2 SS 2011
703522
Grading
There will be a written and closed book exam on June 29, 13:00 – 15:00 in HS 10.
Online registration
is required before 10 am on June 28.
When preparing for the exam, you may find exams of earlier semesters useful:
SS 2010
SS 2009