-
LOGIC-IN
-
Teaching
-
Courses
-
Previous semesters
Wintersemester 2023/2024
Modellieren und Programmieren von Prof. Dr. Peter Padawitz Vorlesung Dienstags, 14:15 - 17:30 Uhr, OH12, 1.054 Beginn 10.10.23 Zur Kursbeschreibung Seminare Artificial Intelligence meets Formal Methods von Prof …