Seminar Non-Classical Logics in Computer Science (1993 : Dagstuhl) Bezüge im Wissensnetz Veranstaltungsort (1) GND Wadern