LEADER 01152nam2-22003611i-450- 001 990001484470403321 005 20090804131611.0 010 $a0-19-853792-1 035 $a000148447 035 $aFED01000148447 035 $a(Aleph)000148447FED01 035 $a000148447 100 $a20010626d1998----km-y0itay50------ba 101 0 $aeng 102 $aGB 105 $a----a---001yy 200 1 $aLogic programming$fedited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson$gvolume co-ordinator J. Siekmann 210 $aOxford$cClarendon Press$d1998 215 $axv, 799 p.$d24 cm 225 1 $aHandbook of logic in artificial intelligence and logic programming 461 0$1001000148442$12001$aHandbook of logic in artificial intelligence and logic programming$v5 610 0 $aIntelligenza artificiale 676 $a006.3 702 1$aGabbay,$bDov M.$f<1945- > 702 1$aHogger,$bChristofer John 702 1$aRobinson,$bJ.A. 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001484470403321 952 $a006.3-HAN-1-(5$b916$fSC1 959 $aSC1 996 $aLogic programming$9337553 997 $aUNINA