Account
Edit tools
Intern
SucheSearch
English

Unification in Modal and Description Logics

Aus International Center for Computational Logic
Version vom 19. September 2022, 18:01 Uhr von Oliver Fernandez Gil (Diskussion | Beiträge) (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…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche

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

Leistungskontrolle

  • Mündliche Prüfung





Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Unification_in_Modal_and_Description_Logics_(WS2022)&oldid=37159“