VL/Ü Expressive Logiken - Theorie, Mechanisierung, Anwendungen
Blockveranstaltung vor Beginn WS14/15.
(19313903)
| Dozent/in | Christoph Benzmüller |
|---|---|
| Leistungspunkte | 5 credits |
| Anmeldemodalität | |
| Raum | Arnimallee 7, SR031 |
| Beginn | 29.09.2014 |
| Ende | 10.10.2014 |
| Zeit | täglich von 9-18 Uhr |
| Hinweis | Notenerfassung abgeschlossen! |