00850nam0-22002891i-450-9900013227304033213-540-19129-1000132273FED01000132273(Aleph)000132273FED0100013227320000920d--------km-y0itay50------baengFoundations of logic and functional programmingworkshop Trento, Italy, december 1986Berlin [etc.]Springer-VerlagIX, 218 p.Lecture notes in computer science306Boscarol,MauroCarlucci Aiello,L.ITUNINARICAUNIMARCBK990001322730403321122-(3066930MA1MA1Foundations of logic and functional programming382927UNINAING01