703608 Automatisches Theorembeweisen

Sommersemester 2013 | Stand: 16.07.2013 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Univ.-Prof. Dr. Georg Moser Univ.-Prof. Dr. Georg Moser, +43 512 507 53213
703608
Automatisches Theorembeweisen
VO 2
4
wöch.
jährlich
Englisch
Beginn: siehe Termine
http://cl-informatik.uibk.ac.at/teaching/ss13/autres
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Fr 08.03.2013
 10.15 - 12.00 rr 20 rr 20 Barrierefrei
Fr 15.03.2013
 10.15 - 12.00 rr 20 rr 20 Barrierefrei
Fr 22.03.2013
 10.15 - 12.00 rr 20 rr 20 Barrierefrei
Fr 12.04.2013
 10.15 - 12.00 rr 20 rr 20 Barrierefrei
Fr 19.04.2013
 10.15 - 12.00 rr 20 rr 20 Barrierefrei
Fr 26.04.2013
 10.15 - 12.00 rr 20 rr 20 Barrierefrei
Fr 03.05.2013
 10.15 - 12.00 rr 20 rr 20 Barrierefrei
Fr 17.05.2013
 10.15 - 12.00 rr 20 rr 20 Barrierefrei
Fr 24.05.2013
 10.15 - 12.00 rr 20 rr 20 Barrierefrei
Fr 31.05.2013
 10.15 - 12.00 rr 20 rr 20 Barrierefrei
Fr 07.06.2013
 10.15 - 12.00 rr 20 rr 20 Barrierefrei
Fr 14.06.2013
 10.15 - 12.00 rr 20 rr 20 Barrierefrei
Fr 21.06.2013
 10.15 - 12.00 rr 20 rr 20 Barrierefrei
Fr 28.06.2013
 10.15 - 12.00 rr 20 rr 20 Barrierefrei