000 | 02853nam a22004575i 4500 | ||
---|---|---|---|
003 | DE-He213 | ||
005 | 20231104114309.0 | ||
007 | cr nn 008mamaa | ||
008 | 150812s2015 gw | s |||| 0|eng d | ||
020 |
_a9783319232195 _z978-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 |
_aUYA _2thema005.131 _223 |
|
245 | 1 | 0 |
_aPrinciples and Practice of Constraint Programming : _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 | _a1 online resource | ||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 0 |
_aProgramming and Software Engineering ; _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 | _aArtificial intelligence. | |
650 | 0 | _aComputer software. | |
650 | 1 | 4 |
_aMathematical Logic and Formal Languages. _0http://scigraph.springernature.com/things/product-market-codes/I16048 |
650 | 2 | 4 |
_aMathematics of Computing. _0http://scigraph.springernature.com/things/product-market-codes/I17001 |
650 | 2 | 4 |
_aArtificial Intelligence. _0http://scigraph.springernature.com/things/product-market-codes/I21000 |
650 | 2 | 4 |
_aAlgorithm Analysis and Problem Complexity. _0http://scigraph.springernature.com/things/product-market-codes/I16021 |
700 | 1 |
_aPesant, Gilles. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
856 | 4 | 0 |
_uhttps://doi.org/10.1007/978-3-319-23219-5 _3Springer eBooks _zOnline access link to the resource |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-LNC | ||
999 |
_c200434101 _d52313 |
||
942 |
_2lcc _cEBK |
||
041 | _aeng |