Conference on Applications of Logic to Algebra and Arithmetic (1979 : Karpacz) Bezüge im Wissensnetz Veranstaltungsort (1) GND Karpacz