Colloquium on Functional and Logic Programming and Specifications (1987 : Pisa) Bezüge im Wissensnetz Veranstaltungsort (1) GND Pisa