國立虎尾科技大學 |

Principles and Practice of Constraint Programming = 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Principles and Practice of Constraint Programming/ edited by Gilles Pesant.
其他題名:	21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /
其他作者:	Pesant, Gilles.
面頁冊數:	XXIV, 747 p. 191 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Mathematical logic. -
電子資源:	https://doi.org/10.1007/978-3-319-23219-5
ISBN:	9783319232195

Principles and Practice of Constraint Programming = 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /
Principles and Practice of Constraint Programming21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /[electronic resource] :edited by Gilles Pesant. - 1st ed. 2015. - XXIV, 747 p. 191 illus.online resource. - Programming and Software Engineering ;9255. - Programming and Software Engineering ;8987.

This 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.

ISBN: 9783319232195

Standard No.: 10.1007/978-3-319-23219-5doiSubjects--Topical Terms:

810627
Mathematical logic.

LC Class. No.: QA8.9-10.3

Dewey Class. No.: 005.131

Principles and Practice of Constraint Programming = 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /
LDR:02318nam a22003975i 4500 001 969616
003 DE-He213
005 20200706033139.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319232195 $9 978-3-319-23219-5
024 7 $a 10.1007/978-3-319-23219-5 $2 doi
035 $a 978-3-319-23219-5
050 4 $a QA8.9-10.3
072 7 $a UYA $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 005.131 $2 23
245 1 0 $a Principles and Practice of Constraint Programming $h [electronic resource] : $b 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings / $c edited by Gilles Pesant.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a XXIV, 747 p. 191 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Programming and Software Engineering ; $v 9255
520 $a This 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 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Computer science—Mathematics. $3 1253519
650 0 $a Artificial intelligence. $3 559380
650 0 $a Algorithms. $3 527865
650 1 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Mathematics of Computing. $3 669457
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 593923
700 1 $a Pesant, Gilles. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1067809
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319232188
776 0 8 $i Printed edition: $z 9783319232201
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-319-23219-5
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)