LEADER 01445nam--2200397---450 
001 990000892450203316
005 20180312154721.0
010   $a3-540-42593-4
035   $a0089245
035   $aUSA010089245
035   $a(ALEPH)000089245USA01
035   $a0089245
100   $a20020122d2001----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aLogic programming and nonmonotonic reasoning$e6th International conference, LPNMR 2001$eVienna, Austria, September 17-19, 2001$eproceedings$fThomas Eiter ... <et al.> (eds.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2001
215   $aXI, 444 p.$cill.$d20 cm
225   $aLecture notes in artificial intelligence$v2173
300   $aSerie principale: Lecture notes in computer science
410   $12001$aLecture notes in artificial intelligence$v2173
610 1 $aElaboratori elettronici$aProgrammazione
610 1 $aLogica matematica
676   $a0051
702  1$aEiter,$bThomas
710 12$aInternational conference LPNMR 2001 <6. ; 2001 ; Vienna, Austria>$0551611
801  0$aITA$bCBS$gISBD
912   $a990000892450203316
951   $a006.3 LNIA (2173)$b0027160 CBS$c006.3$d00110801
959   $aBK
969   $aSCI
979   $aALANDI$b90$c20020122$lUSA01$h1125
979   $c20020403$lUSA01$h1733
979   $aPATRY$b90$c20040406$lUSA01$h1701
996   $aLogic programming and nonmonotonic reasoning$9970085
997   $aUNISA