LEADER 01768nam2-2200457li-450 001 990000201420203316 005 20180312154747.0 010 $a3-540-63255-7 035 $a0020142 035 $aUSA010020142 035 $a(ALEPH)000020142USA01 035 $a0020142 100 $a2001999021997-------y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aLogic programming and nonmonotonicreasoning$e4th International conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997$eproceedings$fJurgen Dix ... [et al.] (eds.) 210 $aBerlino$cSpringer-Verlag$dcopyr. 1997 215 $aX, 452 p.$cill.$d23 cm 225 2 $aLecture notes in artificial intelligence$v1265 300 $aserie principale: lecture notes incomputer science 410 0$10010019992$12001$aLecture notes in artificial intelligence 610 1 $acongressi$adagstuhl$a1997 610 1 $aelaboratori elettronici$aprogrammazione$acongressi$a1997 610 1 $aintelligenza artificiale$acongressi$a1997 610 1 $alogica matematica$acongressi$a1997 676 $a0063$9Intelligenza artificiale [precedent. 001.535] 702 1$aDix,$bJürgen 710 12$aInternational conference LPNMR'97$d4.$eDagstuhl$f1997$0753451 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000201420203316 951 $a006.3 LNAI (1265)$b0020883$c006.3$d00106718 959 $aBK 969 $aSCI 979 $c19990211 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010330$lUSA01$h1017 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1614 979 $aANGELA$b90$c20081201$lUSA01$h1310 996 $aLogic programming and nonmonotonicreasoning$91515703 997 $aUNISA