MiG

Expressive klassische und nichtklassische Logiken und deren Automatisierung

Details siehe Evento-Eintrag

(19675)

Typ

Seminar

Dozent/in

C. Benzmüller

Institution

AG Intelligente Systeme und Robotik

Raum

Arnimallee 7

SR140 (Hinterhaus)

Zeit

Freitags 14-16 Uhr

Beginn

18.10.2013 — 07.02.2014