Workshop Theorem Proving with Analytic Tableaux and Related Methods (1 : 1992 : Lautenbach, Rastatt) Bezüge im Wissensnetz Als Vorherige Konferenz oder Veranstaltung beteiligt (1) GND 2130610-2 Veranstaltungsort (1) GND Lautenbach (Rastatt) Nachfolgende Konferenz oder Veranstaltung (1) GND 2130610-2