Seminario sobre Relaciones entre la Logica Matematica y la Informatica Teorica (1981 : Madrid) Bezüge im Wissensnetz Veranstaltungsort (1) GND Madrid