International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (2002 : Kopenhagen) Bezüge im Wissensnetz Als Vorherige Konferenz oder Veranstaltung beteiligt (1) GND 10064178-7 Als Nachfolgende Konferenz oder Veranstaltung beteiligt (1) GND 6017871-1 Vorherige Konferenz oder Veranstaltung (1) GND 6017871-1 Veranstaltungsort (1) GND Kopenhagen Nachfolgende Konferenz oder Veranstaltung (1) GND 10064178-7