Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4 : 1995 : Sankt Goar) Bezüge im Wissensnetz Veranstaltungsort (1) GND Sankt Goar