CADE (23 : 2011 : Breslau, International Conference on Automated Deduction) Bezüge im Wissensnetz Veranstaltungsort (1) GND Breslau