Sommersemester 2019
Im Sommersemester 2019 werden die folgenden Veranstaltungen angeboten:
Vorlesungen
- INF 3482 Automatisches Beweisen Grundlagen
- INF 2620 Einführung in die Logik für Informatik
- INF 4233 SAT Solving und Anwendungen
Im Sommersemester 2019 werden die folgenden Veranstaltungen angeboten: