LEADER 00963nam0-22003611i-450-
001 990001349780403321
010  1$a0-444-89822-0
035   $a000134978
035   $aFED01000134978
035   $a(Aleph)000134978FED01
035   $a000134978
100   $a20000920d1994----km-y0itay50------ba
101  1$aeng
200 1 $aSelected papers on Automath$fEdited by R. P. Nederpelt, J. H. Geuvers, R. C. De Vrijer
210   $aAmsterdam$cElsevier$d1994
215   $axix, 1024 p.$d24 cm
610 0 $aAutomath
610 0 $aCalcolo lambda
700  1$aSelected$0492651
702  1$aDe Vrijer,$bR.C.
702  1$aGeuvers,$bJ.H.
702  1$aNederpelt,$bR.P.
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001349780403321
952   $aC-30-(133$b14237$fMA1
959   $aMA1
962   $a03B55
962   $a03B40
962   $a00B60
996   $aSelected papers on Automath$9376158
997   $aUNINA
DB    $aING01