Symposium on Logic in Computer Science (26. : 2011 : Ontario) Bezüge im Wissensnetz Veranstaltungsort (1) GND Ontario