CADE (International Conference on Automated Deduction : 19 : 2003 : Miami Beach, Fla.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Miami Beach, Fla.