Symposium on Logic in Computer Science (25. : 2010 : Edingburgh) Bezüge im Wissensnetz Veranstaltungsort (1) GND Edinburgh