LEADER 00937nam0-22003131i-450-
001 990000470310403321
005 20080717104151.0
035   $a000047031
035   $aFED01000047031
035   $a(Aleph)000047031FED01
035   $a000047031
100   $a20020821d1977----km-y0itay50------ba
101 0 $aeng
105   $aa-------001yy
200 1 $a<<The >>logic of computer programming$fZohar Manna, Richard Waldinger
210   $aStanford$cComputer Science Department$d1977
215   $a83 p.$cill.$d28 cm
300   $aStanford artificial intelligence laboratory, memo AIM-298
300   $aComputer science departement report no. STAN-CS-77-611
610 0 $aProgrammazione
676   $a005
700  1$aManna,$bZohar
701  1$aWaldinger,$bRichard
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000470310403321
952   $a10 P.T. 225$b1286 CCE$fDINEL
959   $aDINEL
997   $aUNINA