Unification in Modal and Description Logics (WS2022): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
(Die Seite wurde neu angelegt: „{{Vorlesung |Title=Unification in Modal and Description Logics |Research group=Automatentheorie |Lecturers=Oliver Fernández Gil |Tutors=Oliver Fernández Gil…“) |
Keine Bearbeitungszusammenfassung |
||
| Zeile 6: | Zeile 6: | ||
|Term=WS | |Term=WS | ||
|Year=2022 | |Year=2022 | ||
|Module=CMS‑LM‑ADV, CMS‑LM‑AI, CMS‑LM‑MOC, INF‑B‑510, INF‑B‑520, INF‑BAS2, INF‑BAS6, INF‑PM‑FOR, INF‑VERT2, INF‑VERT6, MCL‑AI, MCL‑KR, MCL‑PI, MCL‑TCSL | |||
|SWSLecture=2 | |SWSLecture=2 | ||
|SWSExercise=2 | |SWSExercise=2 | ||
Aktuelle Version vom 19. September 2022, 18:02 Uhr
Unification in Modal and Description Logics
Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2022
Dozent
Tutor
Umfang (SWS)
- 2/2/0
Module
- CMS‑LM‑ADV
- CMS‑LM‑AI
- CMS‑LM‑MOC
- INF‑B‑510
- INF‑B‑520
- INF‑BAS2
- INF‑BAS6
- INF‑PM‑FOR
- INF‑VERT2
- INF‑VERT6
- MCL‑AI
- MCL‑KR
- MCL‑PI
- MCL‑TCSL
Leistungskontrolle
- Mündliche Prüfung
