Semantic search
From International Center for Computational Logic
Lehrveranstaltungen
- Proseminar "Perlen der theoretischen Informatik" (WS 2022)
- Proseminar Anwendungen der Logik in der Informatik (WS 2022)
- Einführung in die (theoretische) Informatik (SS 2022)
- Seminar Theoretical Computer Science "Advanced Topics in Term Rewriting" (SS 2022)
- Proseminar "Perlen der theoretischen Informatik" (SS 2022)