Symposium on Logic in Computer Science (19 : 2004 : Turku) Bezüge im Wissensnetz Veranstaltungsort (1) GND Turku