CADE (International Conference on Automated Deduction : 20 : 2005 : Tallinn) Bezüge im Wissensnetz Veranstaltungsort (1) GND Tallinn