International Workshop on Complexity in Automated Deduction (2 : 2002 : Kopenhagen) Bezüge im Wissensnetz Veranstaltungsort (1) GND Kopenhagen