LEADER 01220nam0-2200373li-450 001 990000160620203316 005 20180312154805.0 010 $a0-934613-31-1 035 $a0016062 035 $aUSA010016062 035 $a(ALEPH)000016062USA01 035 $a0016062 100 $a20001109d1987----km-y0itay0103----ba 101 0 $aeng 102 $aUS 200 1 $aLogical foundations of artificial intelligence$fMichael R. Genesereth and Nils J. Nilsson 210 $aPalo Alto$cMorgan Kaufmann$dcopyr. 1987 215 $aXVIII, 405 p.$cill.$d23 cm 610 1 $aintelligenza artificiale 676 $a0063$9Intelligenza artificiale [precedent. 001.535] 700 1$aGenesereth,$bMichael R.$052644 702 1$aNilsson,$bNils J. 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000160620203316 951 $a006.3 GEN$b0013006$c006.3$d00106834 959 $aBK 969 $aSCI 979 $c19910918 979 $c20001110$lUSA01$h1712 979 $aALANDI$b90$c20010403$lUSA01$h1334 979 $c20020403$lUSA01$h1623 979 $aPATRY$b90$c20040406$lUSA01$h1612 996 $aLogical Foundations of Artificial Intelligence$9337575 997 $aUNISA