703223 Computational Logic

703223 Computational Logic

Wintersemester 2003/2004 | Stand: 11.02.2004 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
Dipl.-Math. Christian Vogt

LV-Nummer:

703223

Titel:

Computational Logic

Typ/Stunden:

PR 8

Rhythmus:

wöch.

Wiederholungsturnus:

keine Angabe

Unterrichtssprache:

keine Angabe

Studienzuordnung(en)

Naturwissenschaftliche Fakultät

Informatik

Bakkalaureat

3./5. Semester (WS) bzw. 4./6. Semester (SS)