000 02825nam a22005655i 4500
001 978-3-642-19486-3
003 DE-He213
005 20140220083756.0
007 cr nn 008mamaa
008 110311s2011 gw | s |||| 0|eng d
020 _a9783642194863
_9978-3-642-19486-3
024 7 _a10.1007/978-3-642-19486-3
_2doi
050 4 _aQ334-342
050 4 _aTJ210.2-211.495
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
100 1 _aLarrosa, Javier.
_eeditor.
245 1 0 _aRecent Advances in Constraints
_h[electronic resource] :
_b14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers /
_cedited by Javier Larrosa, Barry O’Sullivan.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2011.
300 _aVII, 155 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6384
520 _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.
650 0 _aComputer science.
650 0 _aComputer software.
650 0 _aLogic design.
650 0 _aAlgebra
_xData processing.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aSymbolic and Algebraic Manipulation.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
700 1 _aO’Sullivan, Barry.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642194856
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6384
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-19486-3
912 _aZDB-2-SCS
912 _aZDB-2-LNC
999 _c107562
_d107562