en
|
de
Institut für Informatik
Universität Innsbruck
Home
Forschung
Lehre
Mitarbeiter
Veranstaltungen
Neuigkeiten
Lehre
Lehrveranstaltungen
Bachelorprojekte
Masterprojekte
Software
Automatisches Beweisen
Einführung
Lehrende
Zeit & Ort
Zeitplan
Benotung
Automatisches Beweisen
Masterstudium
VO2 SS 2008
703522
Lehrender
Raum
Sprechstunde
Clemens Ballarin
3N07
Mittwoch
16:00 – 18:00