Symposium on Logic in Computer Science (14 : 1999 : Trient) Bezüge im Wissensnetz Veranstaltungsort (1) GND Trient