LEADER 01080nam0-22003491i-450-
001 990000495460403321
005 20080630131747.0
010   $a0-444-00224-3
035   $a000049546
035   $aFED01000049546
035   $a(Aleph)000049546FED01
035   $a000049546
100   $a20020821d1977----km-y0itay50------ba
101 0 $aeng
105   $aa-------001yy
200 1 $aStudies in automatic programming logic$fZohar Manna, Richard Waldinger$gwith a contributions by Shmuel Katz, Karl Levitt
210   $aNew York ; Amsterdam$cNorth Holland$dİ1977
215   $a192 p.$cill.$d24 cm
225 1 $aArtificial intelligence series
225 1 $a<<The >>computer science library
610 0 $aProgrammazione
676   $a005.133
700  1$aManna,$bZohar$025952
701  1$aWaldinger,$bRichard$025953
702  1$aKatz,$bShmuel
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000495460403321
952   $a10 P.T. 69$b1621 CCE$fDINEL
959   $aDINEL
996   $aStudies in automatic programming logic$9333248
997   $aUNINA