LEADER 01047nam0-22003491i-450-
001 990001485490403321
005 20090806124813.0
010   $a0-262-12232-4
035   $a000148549
035   $aFED01000148549
035   $a(Aleph)000148549FED01
035   $a000148549
100   $a20010730d2000----km-y0itay50------ba
101 0 $aeng
102   $aUS
105   $a----a---001yy
200 1 $a<<The >>logic of knowledge bases$fHector J. Levesque, Gerhard Lakemeyer
210   $aCambridge (Mass.)$cThe MIT Press$dc2000
215   $axviii, 282 p.$d24 cm
610 0 $aIntelligenza artificiale$aLogica, simbolica e matematica
610 0 $aRappresentazione della conoscenza
610 0 $aSistemi esperti
676   $a006.332
700  1$aLevesque,$bHector Joseph$f<1951- >$051203
701  1$aLakemeyer,$bGerhard$065946
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001485490403321
952   $a006.332-LEV-1$b1062$fSC1
959   $aSC1
996   $aLogic of knowledge bases$9378232
997   $aUNINA