| 000 | 02829nam a22005415i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-23219-5 | ||
| 003 | DE-He213 | ||
| 005 | 20200421111701.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 150812s2015 gw | s |||| 0|eng d | ||
| 020 |
_a9783319232195 _9978-3-319-23219-5 |
||
| 024 | 7 |
_a10.1007/978-3-319-23219-5 _2doi |
|
| 050 | 4 | _aQA8.9-QA10.3 | |
| 072 | 7 |
_aUYA _2bicssc |
|
| 072 | 7 |
_aMAT018000 _2bisacsh |
|
| 072 | 7 |
_aCOM051010 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.131 _223 |
| 245 | 1 | 0 |
_aPrinciples and Practice of Constraint Programming _h[electronic resource] : _b21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings / _cedited by Gilles Pesant. |
| 250 | _a1st ed. 2015. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015. |
|
| 300 |
_aXXIV, 747 p. 191 illus. _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 ; _v9255 |
|
| 520 | _aThis book constitutes the refereed conference proceedings of the 21st International Conference on Principles and Practice of Constraint Programming, CP 2015, held in Cork, Ireland, in August/September 2015. This edition of the conference was part of George Boole 200, a celebration of the life and work of George Boole who was born in 1815 and worked at the University College of Cork. It was also co-located with the 31st International Conference on Logic Programming (ICLP 2015). The 48 revised papers presented together with 3 invited talks and 16 abstract papers were carefully selected from numerous submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, schedulling, configuration, and planning. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aAlgorithms. | |
| 650 | 0 | _aMathematical logic. | |
| 650 | 0 |
_aComputer science _xMathematics. |
|
| 650 | 0 | _aArtificial intelligence. | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
| 650 | 2 | 4 | _aMathematics of Computing. |
| 650 | 2 | 4 | _aArtificial Intelligence (incl. Robotics). |
| 650 | 2 | 4 | _aAlgorithm Analysis and Problem Complexity. |
| 700 | 1 |
_aPesant, Gilles. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319232188 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v9255 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-23219-5 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cEBK | ||
| 999 |
_c54977 _d54977 |
||