Ringvorlesung: Provenance Analysis for Logic and Games and/or Logics of Imperfect Information
Donnerstag, 07.06.2018, 16.00 Uhr
Ort: RWTH Aachen University, Informatikzentrum - Ahornstr. 55, Erweiterungsgebäude E2, B-IT, Raum 5053.2
Vortragender: Erich Grädel