LEADER 01528nam--2200397---450 
001 990001117540203316
005 20180312154803.0
010   $a3-540-00010-0
035   $a000111754
035   $aUSA01000111754
035   $a(ALEPH)000111754USA01
035   $a000111754
100   $a20021218d2002----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aLogic for programming, artificial intelligence, and reasoning$e9th International conference, LPAR 2002$eTbilisi, Georgia, October 2002$eproceedings$fMatthias Baaz... <et al.> (eds.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2002
215   $aXV, 463 p.$cill.$d20 cm
225   $aLecture notes in artificial intelligence$v2514
300   $aSerie principale: Lecture notes in computer science
410   $12001$aLecture notes in artificial intelligence$v2514
610 1 $aElaboratori elettronici$aProgrammazione$aCongressi$a2002
610 1 $aLogica matematica$aCongressi$a2002
676   $a005.1
702  1$aBAAZ,$bMatthias
710 12$aInternational conference, LPAR 2002 <9. ; 2002 ; Tbilisi, Georgia>$0554592
801  0$aITA$bCBS$gISBD
912   $a990001117540203316
951   $a006.3 LNIA (2514)$b0027338 CBS$c006.3$d00113211
959   $aBK
969   $aSCI
979   $aDIGIUSEPPE$b90$c20021218$lUSA01$h1219
979   $aPATRY$b90$c20040406$lUSA01$h1717
979   $aPATRY$b90$c20061002$lUSA01$h1507
996   $aLogic for programming, artificial intelligence, and reasoning$9981534
997   $aUNISA