MiG

VL/Ü Expressive Logiken - Theorie, Mechanisierung, Anwendungen

Blockveranstaltung vor Beginn WS14/15.

(19313903)

Dozent/in

Alexander Steen, Max Wisniewski, Christoph Benzmüller

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!

Links auf Kursbeschreibung