LEADER 01483nam2-2200409li-450 001 990000202090203316 005 20180312154738.0 010 $a3-540-64515-2 035 $a0020209 035 $aUSA010020209 035 $a(ALEPH)000020209USA01 035 $a0020209 100 $a2001999021998-------y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $a<> automation of reasoning with incomplete information$efrom semantic foundations to efficient computation$fTorsten Schaub 210 $aBerlino$cSpringer-Verlag$dcopyr. 1998 215 $aXI,. 159 p.$cill.$d23 cm 225 2 $aLecture notes in artificial intelligence$v1409 300 $aserie principale: lecture notes incomputer science 410 0$10010019992$12001$aLecture notes in artificial intelligence 610 1 $aintelligenza artificiale 676 $a0063$9Intelligenza artificiale [precedent. 001.535] 700 1$aSchaub,$bTorsten$0747212 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000202090203316 951 $a006.3 LNAI (1409)$b0022695$c006.3$d00106745 959 $aBK 969 $aSCI 979 $c19990213 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010330$lUSA01$h1145 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 979 $aANGELA$b90$c20081201$lUSA01$h1321 996 $aAutomation of reasoning with incomplete information$91492508 997 $aUNISA