Wintersemester/Winter term

Logik für Informatiker

Logische Programmierung

Sommersemester/Summer term

Algorithmische Graphentheorie

Kryptographie

Künstliche Intelligenz

Knowledge Discovery

Petri Nets