International Autumn School "Proof and Computation" (2016 : Fischbachau) Bezüge im Wissensnetz Veranstaltungsort (1) GND Fischbachau