Proseminar Anwendungen der Logik in der Informatik

Aus International Center for Computational Logic
Version vom 8. April 2021, 17:01 Uhr von Oliver Fernandez Gil (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proseminar Anwendungen der Logik in der Informatik |Research group=Automatentheorie |Lecturers=Patrick Koopmann; Franz Baader |Term=SS |Year…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche

Proseminar Anwendungen der Logik in der Informatik

Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) in SS 2021