CADE (14 : 1997 : Townsville, Queensland, International Conference on Automated Deduction) Bezüge im Wissensnetz Veranstaltungsort (1) GND Townsville (Queensland)