Proseminar Anwendungen der Logik in der Informatik

Aus International Center for Computational Logic
Version vom 10. April 2022, 20:23 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=Anni-Yasmin Turhan; Patrick Koopmann |Term=SS…“)
(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 2022