Colloquium on Mathematical Logic in Computer Science (1978 : Salgótarján) Bezüge im Wissensnetz Veranstaltungsort (1) GND Salgótarján