Symposium on Logic in Computer Science (27. : 2012 : Dubrovnik) Bezüge im Wissensnetz Veranstaltungsort (1) GND Dubrovnik