703305 Computational Logic

Sommersemester 2005 | Stand: 15.07.2005 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Nao Hirokawa Nao Hirokawa
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
Dipl.-Math. Christian Vogt Dipl.-Math. Christian Vogt
703305
Computational Logic
PR 8
wöch.
jährlich
keine Angabe
Beginn: siehe Aushang
http://cl-informatik.uibk.ac.at/teaching/bsc