CADE (International Conference on Automated Deduction : 21 : 2007 : Bremen) Bezüge im Wissensnetz Veranstaltungsort (1) GND Bremen