Symposium on Logic in Computer Science (2 : 1987 : Ithaca, NY) Bezüge im Wissensnetz Veranstaltungsort (1) GND Ithaca, NY