Symposium on Logic Programming (1987 : San Francisco, Calif.) Bezüge im Wissensnetz Veranstaltungsort (1) GND San Francisco, Calif.