Symposium on Logic in Computer Science (24. : 2009 : Los Angeles, Calif.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Los Angeles, Calif.