| 000 | 02904nam a22005535i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-23219-5 | ||
| 003 | DE-He213 | ||
| 005 | 20240423125918.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 150812s2015 sz | s |||| 0|eng d | ||
| 020 |
_a9783319232195 _9978-3-319-23219-5 |
||
| 024 | 7 |
_a10.1007/978-3-319-23219-5 _2doi |
|
| 050 | 4 | _aQA267-268.5 | |
| 072 | 7 |
_aUYA _2bicssc |
|
| 072 | 7 |
_aCOM014000 _2bisacsh |
|
| 072 | 7 |
_aUYA _2thema |
|
| 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 |
_aProgramming and Software Engineering, _x2945-9168 ; _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 | _aMachine theory. | |
| 650 | 0 |
_aComputer science _xMathematics. |
|
| 650 | 0 | _aArtificial intelligence. | |
| 650 | 0 | _aAlgorithms. | |
| 650 | 1 | 4 | _aFormal Languages and Automata Theory. |
| 650 | 2 | 4 | _aMathematics of Computing. |
| 650 | 2 | 4 | _aArtificial Intelligence. |
| 650 | 2 | 4 | _aAlgorithms. |
| 700 | 1 |
_aPesant, Gilles. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319232188 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319232201 |
| 830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v9255 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-23219-5 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cSPRINGER | ||
| 999 |
_c183013 _d183013 |
||