000 | 02758nam a22005295i 4500 | ||
---|---|---|---|
001 | u375857 | ||
003 | SIRSI | ||
005 | 20160812084344.0 | ||
007 | cr nn 008mamaa | ||
008 | 110311s2011 gw | s |||| 0|eng d | ||
020 |
_a9783642194863 _9978-3-642-19486-3 |
||
040 | _cMX-MeUAM | ||
050 | 4 | _aQ334-342 | |
050 | 4 | _aTJ210.2-211.495 | |
082 | 0 | 4 |
_a006.3 _223 |
100 | 1 |
_aLarrosa, Javier. _eeditor. |
|
245 | 1 | 0 |
_aRecent Advances in Constraints _h[recurso electrónico] : _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 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-19486-3 |
596 | _a19 | ||
942 | _cLIBRO_ELEC | ||
999 |
_c203737 _d203737 |