Term Rewriting Systems

Term Rewriting Systems

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

Dozent

• Franz Baader

Tutor

• Marcel Lippmann

Umfang (SWS)

• 4/2/0

Module

• INF-B-510
• INF-B-520
• INF-BAS6
• INF-VERT6
• MCL-TCSL
• MCL-PI
• EMCL-A-TCSL
• EMCL-A-PI
• Theorie der Programmierung Fachgebiet Theorie der Programmierung
• Intelligente Systeme Fachgebiet Intelligente Systeme

Leistungskontrolle

• Mündliche Prüfung

• Information

https://lat.inf.tu-dresden.de/teaching/ss2016/TRS/