International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (20 : 2011 : Bern) Bezüge im Wissensnetz Als Vorherige Konferenz oder Veranstaltung beteiligt (1) GND 1041762534 Veranstaltungsort (1) GND Bern Nachfolgende Konferenz oder Veranstaltung (1) GND 1041762534