Advanced Study Institute on Computational Logic (1997 : Marktoberdorf) Bezüge im Wissensnetz Veranstaltungsort (1) GND Marktoberdorf