CADE (15 : 1998 : Lindau (Bodensee), International Conference on Automated Deduction) Bezüge im Wissensnetz Veranstaltungsort (1) GND Lindau (Bodensee)