Semantische Suche
Aus International Center for Computational Logic
Lehrveranstaltungen
- Proseminar "Perlen der theoretischen Informatik" (WS 2022)
- Proseminar Anwendungen der Logik in der Informatik (WS 2022)
- Seminar Theoretical Computer Science "Advanced Topics in Term Rewriting" (SS 2022)
- Proseminar "Perlen der theoretischen Informatik" (SS 2022)
- Proseminar Anwendungen der Logik in der Informatik (SS 2022)