00813nam0-22002531i-450-99000129111040332120071010131540.0000129111FED01000129111(Aleph)000129111FED0100012911120001205d1988----km-y0itay50------baengFoundations of logic and functional programmingWorkshop Trento, Italy, December 15-19, 1986Edited by M. Boscarol ... [et al.]Berlin [etc.]Springer-Verlag1988Lecture notes in computer science306Boscarol,MauroITUNINARICAUNIMARCBK990001291110403321C-16-(3066930MA1MA1Foundations of logic and functional programming382927UNINA