Symposium on Logic in Computer Science (4 : 1989 : Pacific Grove, Calif.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Pacific Grove, Calif.