LEADER 04286nam  22007935  450 
001 996466013603316
005 20210322193127.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$b[electronic resource] $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 ;$v6355
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 Artificial Intelligence ;$v6355
606   $aArtificial intelligence
606   $aComputer programming
606   $aSoftware engineering
606   $aComputer logic
606   $aMathematical logic
606   $aProgramming languages (Electronic computers)
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
615  0$aArtificial intelligence.
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aProgramming languages (Electronic computers).
615 14$aArtificial Intelligence.
615 24$aProgramming Techniques.
615 24$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aProgramming Languages, Compilers, Interpreters.
676   $a006.3
702   $aClarke$b Edmund M.$cJr.$g(Edmund Melson),$f1945-2020.$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVoronkov$b Andrei$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aLPAR (Conference)
906   $aBOOK
912   $a996466013603316
996   $aLogic for Programming, Artificial Intelligence, and Reasoning$9772423
997   $aUNISA