Symposium on Logic in Computer Science (3 : 1988 : Edinburgh) Bezüge im Wissensnetz Veranstaltungsort (1) GND Edinburgh