fach:logik-und-logikprogrammierung:ws2223:start
Dies ist eine alte Version des Dokuments!
Inhaltsverzeichnis
Logik und Logikprogrammierung WS 2022/23
Das Fach gliedert sich in die Namensgebenden Teilbereiche. Der Teil Logik wird von Prof. Kuske bis Weihnachten gehalten und der Teil Logikprogrammierung das restliche Semester von Prof. Knauf.
Vorlesungen
Teil Logik
Teil Logikprogrammierung
Übungen
fach/logik-und-logikprogrammierung/ws2223/start.1676652950.txt.gz · Zuletzt geändert: 2023-02-17 16:55 von enderium