LEADER 01274nam1-22003491i-450-
001 990001484420403321
035   $a000148442
035   $aFED01000148442
035   $a(Aleph)000148442FED01
035   $a000148442
100   $a20010626d19931998km-y0itay50------ba
101 0 $aeng
102   $aGB
105   $a----a---001yy
200 1 $aHandbook of logic in artificial intelligence and logic programming$feditors Dov M. Gabbay, C.J. Hogger and J.A. Robinson
210   $aOxford$cClarendon Press$d1993-1998
215   $a5 v.$d24 cm
463 \1$1001990001484430403321$12001 $aLogical foundations
463 \1$1001990001484440403321$12001 $aDeduction methodologies
463 \1$1001990001484450403321$12001 $aNonmonotonic reasoning and uncertain reasoning
463 \1$1001990001484460403321$12001 $aEpistemic and temporal reasoning
463 \1$1001990001484470403321$12001 $aLogic programming
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   $a990001484420403321
996   $aHandbook of logic in artificial intelligence and logic programming$9378102
997   $aUNINA