Vertiefungsbereich Theoretische Informatik
| Name | Course Type | Name | Credits | ID |
|---|
| Compilerbau | () Vorlesung | Compilerbau | 6 | 533716 |
| () Übung | Compilerbau | 0 | 533717 |
| Foundations of Logic Programming | () Vorlesung | Foundations of Logic Programming | 6 | 532442 |
| () Übung | Foundations of Logic Programming | 0 | 532443 |