Winter Term 2020/21

Einführung in die Computationale Logik

Instructors: Univ.-Prof. Dr. Stefan Walter Theodor Kramer
Shortname: 08.079.565
Course No.: 08.079.565
Course Type: Vorlesung/Übung
Format: online