VL/Ü Expressive Logiken - Theorie, Mechanisierung, Anwendungen

Blockveranstaltung vor Beginn WS14/15.

(19313903)

Dozent/inChristoph Benzmüller
Leistungspunkte5 credits
Anmeldemodalität
RaumArnimallee 7, SR031
Beginn29.09.2014
Ende10.10.2014
Zeit

täglich von 9-18 Uhr

Hinweis

Notenerfassung abgeschlossen!

Links auf Kursbeschreibung