International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (16 : 2007 : Aix-en-Provence) Bezüge im Wissensnetz Veranstaltungsort (1) GND Aix-en-Provence