LEADER 01472nam--2200385---45--
001 990003095560203316
005 20080415102059.0
010   $a978-3-540-75558-6
035   $a000309556
035   $aUSA01000309556
035   $a(ALEPH)000309556USA01
035   $a000309556
100   $a20080415d2007----km-y0ITAy0103-------ba
101 0 $aeng
102   $aDE
200 1 $aLogic for programming, artificial intelligence, and reasoning$e14th International conference, LPAR 2007$eYerevan, Armenia, October 15-19, 2007$eproceedings$fNachum Dershowitz, Andrei Voronkov (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2007
215   $aXIII, 562 p.$cill.$d24 cm
225   $aLecture notes in artificial intelligence$v4790
225   $aLecture notes in computer science
410   $12001$aLecture notes in artificial intelligence$v4790
606 1 $aElaboratori elettronici$xProgrammazione$xCongressi$yYerevan$z2007
606 1 $aLogica matematica$xCongressi$yYerevan$z2006
676   $a005.1
702  1$aDERSHOWITZ,$bNachum
702  1$aVORONKOV,$bAndrei
710 12$aInternational conference, LPAR 2007$d<14. ;$f2007 ;$eYerevan>$0601132
801  0$aITA$bCBS$gISBD
912   $a990003095560203316
951   $a006.3 LNAI 4790$b35889/CBS$c006.3$d00216775
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080415$lUSA01$h1021
996   $aLogic for programming, artificial intelligence, and reasoning$91019286
997   $aUNISA