LEADER 03107nam  2200649Ia 450 
001 9910483030403321
005 20200520144314.0
010   $a1-283-47738-6
010   $a9786613477385
010   $a3-642-17511-2
024 7 $a10.1007/978-3-642-17511-4
035   $a(CKB)2670000000064711
035   $a(SSID)ssj0000476373
035   $a(PQKBManifestationID)11331990
035   $a(PQKBTitleCode)TC0000476373
035   $a(PQKBWorkID)10479220
035   $a(PQKB)10240636
035   $a(DE-He213)978-3-642-17511-4
035   $a(MiAaPQ)EBC3066192
035   $a(PPN)149893523
035   $a(EXLCZ)992670000000064711
100   $a20101210d2010      uy         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLogic for Programming, Artificial Intelligence, and Reasoning $e16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers /$fEdmund M. Clarke, Andrei Voronkov (eds.)
205   $a1st ed. 2010.
210   $aBerlin $cSpringer$d2010
215   $a1 online resource (X, 517 p. 71 illus., 4 illus. in color.)
225 1 $aLecture notes in computer science,$x0302-9743 ;$v6355
225 1 $aLNCS sublibrary. SL 7, Artificial intelligence
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-17510-4 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which took place in Dakar, Senegal, in April/May 2010. The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as automata, linear arithmetic, verification, knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.
410  0$aLecture notes in computer science.$pLecture notes in artificial intelligence.
410  0$aLecture notes in computer science ;$v6355.
517 3 $aLPAR-16
606   $aArtificial intelligence$vCongresses
606   $aAutomatic theorem proving$vCongresses
606   $aLogic programming$vCongresses
615  0$aArtificial intelligence
615  0$aAutomatic theorem proving
615  0$aLogic programming
676   $a006.3
701   $aClarke$b E. M.$f1945-$067498
701   $aVoronkov$b A$g(Andrei),$f1959-$01752961
712 12$aLPAR (Conference)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483030403321
996   $aLogic for Programming, Artificial Intelligence, and Reasoning$94195424
997   $aUNINA