Workshop on Theorem Proving with Analytic Tableaux and Related Methods (2 : 1993 : Marseille) Bezüge im Wissensnetz Als Nachfolgende Konferenz oder Veranstaltung beteiligt (1) GND 2124683-X Vorherige Konferenz oder Veranstaltung (1) GND 2124683-X Veranstaltungsort (1) GND Marseille