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
lecturers
time & place
schedule
grading
Automatic Deduction
master program
VO2 SS 2008
703522
Time & Place
VO
Thursday from 14:15 to 15:45 in HS 10 (Architektur)