| 000 | 02463nam a22005175i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-23786-7 | ||
| 003 | DE-He213 | ||
| 005 | 20140220083813.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 110831s2011 gw | s |||| 0|eng d | ||
| 020 |
_a9783642237867 _9978-3-642-23786-7 |
||
| 024 | 7 |
_a10.1007/978-3-642-23786-7 _2doi |
|
| 050 | 4 | _aQA76.9.A43 | |
| 072 | 7 |
_aUMB _2bicssc |
|
| 072 | 7 |
_aCOM051300 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 100 | 1 |
_aLee, Jimmy. _eeditor. |
|
| 245 | 1 | 0 |
_aPrinciples and Practice of Constraint Programming – CP 2011 _h[electronic resource] : _b17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings / _cedited by Jimmy Lee. |
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2011. |
|
| 300 |
_aXXIV, 836p. 170 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 ; _v6876 |
|
| 520 | _aThis book constitutes the refereed proceedings of the 17th International Conference on Principles and Practice of Constraint Programming, CP 2011, held in Perugia, Italy, September 12-16, 2011. The 51 revised full papers and 7 short papers presented together with three invited talks were carefully reviewed and selected from 159 submissions. The papers are organized in topical sections on algorithms, environments, languages, models and systems, applications such as decision making, resource allocation and agreement technologies. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aComputer software. | |
| 650 | 0 | _aLogic design. | |
| 650 | 0 | _aArtificial intelligence. | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aAlgorithm Analysis and Problem Complexity. |
| 650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
| 650 | 2 | 4 | _aLogics and Meanings of Programs. |
| 650 | 2 | 4 | _aArtificial Intelligence (incl. Robotics). |
| 650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
| 650 | 2 | 4 | _aComputation by Abstract Devices. |
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642237850 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6876 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-23786-7 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 999 |
_c108401 _d108401 |
||