LEADER 01212nam2-22003731i-450-
001 990001484430403321
005 20090804131028.0
010   $a0-19-853745-X
035   $a000148443
035   $aFED01000148443
035   $a(Aleph)000148443FED01
035   $a000148443
100   $a20010626d1993----km-y0itay50------ba
101 0 $aeng
102   $aGB
105   $a----a---001yy
200 1 $aLogical foundations$fedited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson$gvolume co-ordinator J. Siekmann
210   $aOxford$cClarendon Press$d1993
215   $axiii, 518 p.$d24 cm
225 1 $aHandbook of logic in computer science and artificial intelligence and logic programming
461  0$1001000148442$12001$aHandbook of logic in artificial intelligence and logic programming$v1
610 0 $aIntelligenza artificiale
676   $a006.3
702  1$aGabbay,$bDov M.$f<1945- >
702  1$aHogger,$bChristofer John
702  1$aRobinson,$bJ.A.
702  1$aSiekmann,$bJörg
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001484430403321
952   $a006.3-HAN-1-(1$b912$fSC1
959   $aSC1
996   $aLogical foundations$9378105
997   $aUNINA