en
|
de
Department of Computer Science
University of Innsbruck
Home
Research
Teaching
Members
Events
News
Teaching
lectures
bachelor projects
master projects
software
Logic
introduction
lecturers
time & place
schedule
grading
Logic
master program
VO2 WS 2007/2008
703501
Lecturer
room
consultation hours
Clemens Ballarin
3N07
Wednesday
16:00 – 18:00