Workshop PTTP-Basiertes Theorembeweisen (1993 : Koblenz) Bezüge im Wissensnetz Veranstaltungsort (1) GND Koblenz