Annual ACM/IEEE Symposium on Logic in Computer Science (32. : 2017 : Reykjavik) Bezüge im Wissensnetz Veranstaltungsort (1) GND Reykjavik