LEADER 01476nam--2200385---450 
001 990001872340203316
005 20180312154736.0
010   $a3-540-20101-7
035   $a000187234
035   $aUSA01000187234
035   $a(ALEPH)000187234USA01
035   $a000187234
100   $a20040723d2003----km-y0ITAy0103-------ba
101 0 $aeng
102   $aDE
200 1 $aLogic for programming, artificial intelligence, and reasoning$e10th International conference, LPAR 2003$eAlmaty, Kazakhstan, September 22-26, 2003$eproceedings$fMoshe Y. Vardi, Andrei Voronkov (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2003
215   $aXIII, 436 p.$cill.$d24 cm
225   $aLecture notes in artificial intelligence$v2850
300   $aSerie principale: Lecture notes in computer science
410   $12001$aLecture notes in artificial intelligence$v2850
610 1 $aElaboratori elettronici$aProgrammazione$aCongressi$a2003
610 1 $aLogica matematica$aCongressi$a2003
676   $a005.1
702  1$aVARDI,$bMoshe Y.
702  1$aVORONKOV,$bAndrei
710 12$aInternational conference, LPAR 2003 <10. ; 2003 ; Almaty, Kazakhstan>$0564700
801  0$aITA$bCBS$gISBD
912   $a990001872340203316
951   $a006.3 LNAI 2850$b0030215/CBS$c006.3$d00114071
959   $aBK
969   $aSCI
979   $aRIVELLI$b90$c20040723$lUSA01$h1124
996   $aLogic for programming, artificial intelligence, and reasoning$9954961
997   $aUNISA