Term Rewriting Systems

Aus International Center for Computational Logic

Version vom 26. März 2018, 11:05 Uhr von Stefan Borgwardt (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Term Rewriting Systems |Research group=Automatentheorie |Lecturers=Franz Baader; |Tutors=Francesco Kriegel; |Term=SS |Year=2018 |Module=MC…“)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Wechseln zu:Navigation, Suche

Term Rewriting Systems

Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in SS 2018

Dozent

Franz Baader

Tutor

Francesco Kriegel

Umfang (SWS)

4/2/0

Module

Leistungskontrolle

Mündliche Prüfung

Information

https://tu-dresden.de/ing/informatik/thi/lat/studium/lehrveranstaltungen/sommersemester-2018/term-rewriting-systems

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

Vorlesung