International Workshop on Logic and Synthesis (14 : 2005 : Lake Arrowhead, Calif.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Lake Arrowhead, Calif.