Symposium on Logic in Computer Science (22 : 2007 : Breslau) Bezüge im Wissensnetz Veranstaltungsort (1) GND Breslau