Symposium on Logic in Computer Science (21 : 2006 : Seattle, Wash.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Seattle, Wash.