Summer Term 2023

Einführung in die Computationale Logik

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