Term Rewriting Systems

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

• MCL-AI
• MCL-PI
• MCL-TCSL
• INF-BAS6
• INF-VERT6
• INF-B-510
• INF-B-520

Leistungskontrolle

• Mündliche Prüfung

• Information

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