Symposium on Logic in Computer Science (1 : 1986 : Cambridge, Mass.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Cambridge, Mass.