LEADER 03764nam  22008295  450 
001 9910483030403321
005 20251226200037.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   $a20101207d2010      u|         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 /$fedited by Edmund M. Clarke, Andrei Voronkov
205   $a1st ed. 2010.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010.
215   $a1 online resource (X, 517 p. 71 illus., 4 illus. in color.)
225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v6355
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$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 Artificial Intelligence,$x2945-9141 ;$v6355
606   $aArtificial intelligence
606   $aComputer programming
606   $aSoftware engineering
606   $aComputer science
606   $aMachine theory
606   $aCompilers (Computer programs)
606   $aArtificial Intelligence
606   $aProgramming Techniques
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aCompilers and Interpreters
615  0$aArtificial intelligence.
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aMachine theory.
615  0$aCompilers (Computer programs).
615 14$aArtificial Intelligence.
615 24$aProgramming Techniques.
615 24$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aCompilers and Interpreters.
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