Advanced Study Institute on Proof and Computation (1993 : Marktoberdorf) Bezüge im Wissensnetz Veranstaltungsort (1) GND Marktoberdorf