LEADER 00813nam0-22002531i-450-
001 990001291110403321
005 20071010131540.0
035   $a000129111
035   $aFED01000129111
035   $a(Aleph)000129111FED01
035   $a000129111
100   $a20001205d1988----km-y0itay50------ba
101 0 $aeng
200 1 $aFoundations of logic and functional programming$eWorkshop Trento, Italy, December 15-19, 1986$fEdited by M. Boscarol ... [et al.]
210   $aBerlin [etc.]$cSpringer-Verlag$d1988
225 1 $aLecture notes in computer science$v306
702  1$aBoscarol,$bMauro
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001291110403321
952   $aC-16-(306$b6930$fMA1
959   $aMA1
996   $aFoundations of logic and functional programming$9382927
997   $aUNINA