Springe direkt zu Inhalt

Expressive klassische und nichtklassische Logiken und deren Automatisierung

Details siehe Evento-Eintrag

(19675)

TypSeminar
Dozent/inChristoph Benzmüller
InstitutionAG Intelligente Systeme und Robotik
RaumArnimallee 7 SR140 (Hinterhaus)
Beginn18.10.2013
Ende07.02.2014
Zeit

Freitags 14-16 Uhr