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