Symposium on Logic in Computer Science (7 : 1992 : Santa Cruz, Calif.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Santa Cruz, Calif.