LEADER 04143nam  22007695  450 
001 996465915103316
005 20200701204135.0
010   $a3-642-19486-9
024 7 $a10.1007/978-3-642-19486-3
035   $a(CKB)2670000000076041
035   $a(SSID)ssj0000540672
035   $a(PQKBManifestationID)11356750
035   $a(PQKBTitleCode)TC0000540672
035   $a(PQKBWorkID)10598133
035   $a(PQKB)10512795
035   $a(DE-He213)978-3-642-19486-3
035   $a(MiAaPQ)EBC3066536
035   $a(PPN)151589550
035   $a(EXLCZ)992670000000076041
100   $a20110311d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aRecent Advances in Constraints$b[electronic resource] $e14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers /$fedited by Javier Larrosa, Barry O'Sullivan
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (VII, 155 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v6384
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-19485-0 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the thoroughly refereed post-proceedings of the 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, held in Barcelona, Spain, in June 2009. The 9 revised full papers presented were carefully reviewed and selected for inclusion in this post-proceedings. The papers in this volume present original research results and applications of constraint solving and constraint logic programming in several domains. Among the issues addressed are solving argumentation frameworks, software consistency, modeling languages, static design routing, dynamic constraint satisfaction, and constraint-based modeling.
410  0$aLecture Notes in Artificial Intelligence ;$v6384
606   $aArtificial intelligence
606   $aComputer logic
606   $aMathematical logic
606   $aProgramming languages (Electronic computers)
606   $aComputer science?Mathematics
606   $aAlgorithms
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
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
606   $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
615  0$aArtificial intelligence.
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer science?Mathematics.
615  0$aAlgorithms.
615 14$aArtificial Intelligence.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aSymbolic and Algebraic Manipulation.
615 24$aAlgorithm Analysis and Problem Complexity.
676   $a005.1/16
702   $aLarrosa$b Javier$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aO'Sullivan$b Barry$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aERCIM International Workshop on Constraint Solving and Constraint Logic Programming
906   $aBOOK
912   $a996465915103316
996   $aRecent Advances in Constraints$9772535
997   $aUNISA