Advanced Study Institute on Logic of Programming and Calculi of Discrete Design (1986 : Marktoberdorf) Bezüge im Wissensnetz Veranstaltungsort (1) GND Marktoberdorf