LEADER 00915nam0-22003131i-450 001 990005452110203316 005 20200331160146.0 010 $a0-198-53832-4 035 $a000545211 035 $aUSA01000545211 035 $a(ALEPH)000545211USA01 100 $a20010829d1990----km y1itay5003----ba 101 0 $aeng 102 $aGB 200 1 $aEssentials of logic programming$fChristopher John Hogger 210 $aOxford$cClarendon Press$d1990 215 $aXI, 299 p.$cgraf.$d23 cm 225 2 $aGraduate texts in computer science$v1 410 0$12001$aGraduate texts in computer science$v1 606 0 $aProgrammazione$2BNCF 676 $a005.1 700 1$aHOGGER,$bChristopher John$0613630 801 0$aIT$bSOL$c20120104 912 $a990005452110203316 951 $a000 005.1 HOG$b16 DISES 959 $aBK 969 $aDISES 996 $aEssentials of logic programming$91543190 997 $aUNISA LEADER 01094nam2-2200385---450- 001 990002330590203316 005 20050104141811.0 035 $a000233059 035 $aUSA01000233059 035 $a(ALEPH)000233059USA01 035 $a000233059 100 $a20050104g19..----km-y0itay0103----ba 101 $aita 102 $aIT 105 $aa|||||||001yy 200 1 $a<> : Carteggi$fGaetano Salvemini 210 $aMilano$cFeltrinelli$d19..- 215 $av.$cill.$d22 cm 327 1 $a<9.1> : 1895-1911. - 1968. - 567 p. 410 0$12001 454 1$12001 461 1$1001000188343$12001$aOpere di Gaetano Salvemini 607 $aItalia$xStoria$xSaggi 676 $a945 700 1$aSALVEMINI,$bGaetano$f<1873-1957>$0342619 801 0$aIT$bsalbc$gISBD 912 $a990002330590203316 951 $aColl. PD 9 I$b60106 G.$cColl. PD 959 $aBK 969 $aGIU 979 $aSIAV3$b10$c20050104$lUSA01$h1418 979 $aSIAV3$b10$c20050104$lUSA01$h1418 979 $aANNAMARIA$b90$c20100407$lUSA01$h1350 996 $aCarteggi$9168784 997 $aUNISA