703801 Computational Logic 2: Topics in Termination (V)

Wintersemester 2005/2006 | Stand: 09.02.2006 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Univ.-Prof. Dr. Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
Univ.-Prof. Dr. Georg Moser Univ.-Prof. Dr. Georg Moser, +43 512 507 53213
703801
Computational Logic 2: Topics in Termination (V)
SE 2
wöch.
jährlich
Englisch
V-CL
Beginn: Siehe Aushang
http://cl-informatik.uibk.ac.at/teaching/ws05/tit/
FR 10:00-12:00, 3M03