Workshop Logik in der Informatik (1994 : Paderborn) Bezüge im Wissensnetz Veranstaltungsort (1) GND Paderborn