Semantic search
From International Center for Computational Logic
Courses
- Unification in Modal and Description Logics (WS 2022)
- Formale Systeme (WS 2022)
- Proseminar Anwendungen der Logik in der Informatik (SS 2022)
- Description Logic (SS 2022)
- Projects Theoretical Computer Science (SS 2022)