en | de

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: