Programming with constraints :: an introduction /
The job of the constraint programmer is to use mathematical constraints to model real world constraints and objects. In this book, Kim Marriott and Peter Stuckey provide the first comprehensive introduction to the discipline of constraint programming and, in particular, constraint logic programming....
Gespeichert in:
1. Verfasser: | |
---|---|
Weitere Verfasser: | |
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
Cambridge, Mass. :
MIT Press,
©1998.
|
Schlagworte: | |
Online-Zugang: | Volltext |
Zusammenfassung: | The job of the constraint programmer is to use mathematical constraints to model real world constraints and objects. In this book, Kim Marriott and Peter Stuckey provide the first comprehensive introduction to the discipline of constraint programming and, in particular, constraint logic programming. The book covers the necessary background material from artificial intelligence, logic programming, operations research, and mathematical programming. Topics discussed range from constraint-solving techniques to programming methodologies for constraint programming languages. Because there is not yet a universally used syntax for constraint logic programming languages, the authors present the programs in a way that is independent of any existing programming language. Practical exercises cover how to use the book with a number of existing constraint languages. |
Beschreibung: | 1 online resource (xiv, 467 pages) : illustrations |
Bibliographie: | Includes bibliographical references and index. |
ISBN: | 0585309639 9780585309637 0262279169 9780262279161 0262133415 9780262133418 |
Internformat
MARC
LEADER | 00000cam a2200000 a 4500 | ||
---|---|---|---|
001 | ZDB-4-EBA-ocm48139686 | ||
003 | OCoLC | ||
005 | 20241004212047.0 | ||
006 | m o d | ||
007 | cr cn||||||||| | ||
008 | 001113s1998 maua ob 001 0 eng d | ||
040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d YDXCP |d OCLCQ |d TUU |d OCLCQ |d TNF |d OCLCQ |d OCLCF |d NLGGC |d OCLCO |d OCLCQ |d MWM |d OCLCQ |d LUE |d VTS |d AGLDB |d TOF |d STF |d M8D |d SFB |d UKSSU |d LDP |d UKAHL |d INARC |d OCLCO |d VT2 |d OCLCQ |d OCLCO | ||
015 | |a GB9843511 |2 bnb | ||
019 | |a 970748069 |a 1150181711 |a 1153076666 |a 1154910332 |a 1156910126 |a 1162038259 |a 1162997139 |a 1194912731 |a 1241898920 |a 1280223603 |a 1281459561 |a 1286902627 |a 1295873961 |a 1295879825 |a 1300521772 |a 1303319867 |a 1303521840 |a 1306568441 |a 1397624034 | ||
020 | |a 0585309639 |q (electronic bk.) | ||
020 | |a 9780585309637 |q (electronic bk.) | ||
020 | |a 0262279169 | ||
020 | |a 9780262279161 | ||
020 | |a 0262133415 | ||
020 | |a 9780262133418 | ||
024 | 3 | |a 9780262133418 | |
035 | |a (OCoLC)48139686 |z (OCoLC)970748069 |z (OCoLC)1150181711 |z (OCoLC)1153076666 |z (OCoLC)1154910332 |z (OCoLC)1156910126 |z (OCoLC)1162038259 |z (OCoLC)1162997139 |z (OCoLC)1194912731 |z (OCoLC)1241898920 |z (OCoLC)1280223603 |z (OCoLC)1281459561 |z (OCoLC)1286902627 |z (OCoLC)1295873961 |z (OCoLC)1295879825 |z (OCoLC)1300521772 |z (OCoLC)1303319867 |z (OCoLC)1303521840 |z (OCoLC)1306568441 |z (OCoLC)1397624034 | ||
050 | 4 | |a QA76.63 |b .M37 1998eb | |
072 | 7 | |a COM |x 051010 |2 bisacsh | |
082 | 7 | |a 005.13 |2 21 | |
084 | |a 30.10 |2 bcl | ||
049 | |a MAIN | ||
100 | 1 | |a Marriott, Kim. | |
245 | 1 | 0 | |a Programming with constraints : |b an introduction / |c Kim Marriott and Peter J. Stuckey. |
260 | |a Cambridge, Mass. : |b MIT Press, |c ©1998. | ||
300 | |a 1 online resource (xiv, 467 pages) : |b illustrations | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
504 | |a Includes bibliographical references and index. | ||
588 | 0 | |a Print version record. | |
520 | |a The job of the constraint programmer is to use mathematical constraints to model real world constraints and objects. In this book, Kim Marriott and Peter Stuckey provide the first comprehensive introduction to the discipline of constraint programming and, in particular, constraint logic programming. The book covers the necessary background material from artificial intelligence, logic programming, operations research, and mathematical programming. Topics discussed range from constraint-solving techniques to programming methodologies for constraint programming languages. Because there is not yet a universally used syntax for constraint logic programming languages, the authors present the programs in a way that is independent of any existing programming language. Practical exercises cover how to use the book with a number of existing constraint languages. | ||
546 | |a English. | ||
505 | 0 | |a pt. 1. Constraints. Constraints -- Simplification, optimization and implication -- Finite constraint domains -- pt. 2. Constraint logic programming. Constraint logic programs -- Simple modelling -- Using data structures -- Controlling search -- Modelling with finite domain constraints -- Advanced programming techniques -- CLP systems -- pt. 3. Other constraint programming languages. Constraint databases -- Other constraint programming languages | |
650 | 0 | |a Logic programming. |0 http://id.loc.gov/authorities/subjects/sh86003454 | |
650 | 0 | |a Constraint programming (Computer science) |0 http://id.loc.gov/authorities/subjects/sh94003833 | |
650 | 6 | |a Programmation logique. | |
650 | 6 | |a Programmation par contraintes. | |
650 | 7 | |a COMPUTERS |x Programming Languages |x General. |2 bisacsh | |
650 | 7 | |a Constraint programming (Computer science) |2 fast | |
650 | 7 | |a Logic programming |2 fast | |
650 | 7 | |a Logische Programmierung |2 gnd |0 http://d-nb.info/gnd/4195096-3 | |
650 | 1 | 7 | |a Logisch programmeren. |2 gtt |
650 | 1 | 7 | |a Constraints (informatiewetenschap) |0 (NL-LeOCL)271546433 |2 gtt |
653 | |a COMPUTER SCIENCE/Programming Languages | ||
655 | 7 | |a Leermiddelen (vorm) |0 (NL-LeOCL)088143767 |2 gtt | |
700 | 1 | |a Stuckey, Peter J. | |
776 | 0 | 8 | |i Print version: |a Marriott, Kim. |t Programming with constraints. |d Cambridge, Mass. : MIT Press, ©1998 |z 0262133415 |w (DLC) 97040549 |w (OCoLC)37631225 |
856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=39959 |3 Volltext |
936 | |a BATCHLOAD | ||
938 | |a Askews and Holts Library Services |b ASKH |n AH37586635 | ||
938 | |a EBSCOhost |b EBSC |n 39959 | ||
938 | |a Internet Archive |b INAR |n programmingwithc0000marr | ||
938 | |a YBP Library Services |b YANK |n 10835535 | ||
938 | |a YBP Library Services |b YANK |n 2320803 | ||
994 | |a 92 |b GEBAY | ||
912 | |a ZDB-4-EBA | ||
049 | |a DE-863 |
Datensatz im Suchindex
DE-BY-FWS_katkey | ZDB-4-EBA-ocm48139686 |
---|---|
_version_ | 1816881597983490048 |
adam_text | |
any_adam_object | |
author | Marriott, Kim |
author2 | Stuckey, Peter J. |
author2_role | |
author2_variant | p j s pj pjs |
author_facet | Marriott, Kim Stuckey, Peter J. |
author_role | |
author_sort | Marriott, Kim |
author_variant | k m km |
building | Verbundindex |
bvnumber | localFWS |
callnumber-first | Q - Science |
callnumber-label | QA76 |
callnumber-raw | QA76.63 .M37 1998eb |
callnumber-search | QA76.63 .M37 1998eb |
callnumber-sort | QA 276.63 M37 41998EB |
callnumber-subject | QA - Mathematics |
collection | ZDB-4-EBA |
contents | pt. 1. Constraints. Constraints -- Simplification, optimization and implication -- Finite constraint domains -- pt. 2. Constraint logic programming. Constraint logic programs -- Simple modelling -- Using data structures -- Controlling search -- Modelling with finite domain constraints -- Advanced programming techniques -- CLP systems -- pt. 3. Other constraint programming languages. Constraint databases -- Other constraint programming languages |
ctrlnum | (OCoLC)48139686 |
dewey-full | 005.13 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.13 |
dewey-search | 005.13 |
dewey-sort | 15.13 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04711cam a2200697 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocm48139686 </controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">001113s1998 maua ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TUU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TNF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">NLGGC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MWM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">LUE</subfield><subfield code="d">VTS</subfield><subfield code="d">AGLDB</subfield><subfield code="d">TOF</subfield><subfield code="d">STF</subfield><subfield code="d">M8D</subfield><subfield code="d">SFB</subfield><subfield code="d">UKSSU</subfield><subfield code="d">LDP</subfield><subfield code="d">UKAHL</subfield><subfield code="d">INARC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GB9843511</subfield><subfield code="2">bnb</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">970748069</subfield><subfield code="a">1150181711</subfield><subfield code="a">1153076666</subfield><subfield code="a">1154910332</subfield><subfield code="a">1156910126</subfield><subfield code="a">1162038259</subfield><subfield code="a">1162997139</subfield><subfield code="a">1194912731</subfield><subfield code="a">1241898920</subfield><subfield code="a">1280223603</subfield><subfield code="a">1281459561</subfield><subfield code="a">1286902627</subfield><subfield code="a">1295873961</subfield><subfield code="a">1295879825</subfield><subfield code="a">1300521772</subfield><subfield code="a">1303319867</subfield><subfield code="a">1303521840</subfield><subfield code="a">1306568441</subfield><subfield code="a">1397624034</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0585309639</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780585309637</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262279169</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262279161</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262133415</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262133418</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9780262133418</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)48139686</subfield><subfield code="z">(OCoLC)970748069</subfield><subfield code="z">(OCoLC)1150181711</subfield><subfield code="z">(OCoLC)1153076666</subfield><subfield code="z">(OCoLC)1154910332</subfield><subfield code="z">(OCoLC)1156910126</subfield><subfield code="z">(OCoLC)1162038259</subfield><subfield code="z">(OCoLC)1162997139</subfield><subfield code="z">(OCoLC)1194912731</subfield><subfield code="z">(OCoLC)1241898920</subfield><subfield code="z">(OCoLC)1280223603</subfield><subfield code="z">(OCoLC)1281459561</subfield><subfield code="z">(OCoLC)1286902627</subfield><subfield code="z">(OCoLC)1295873961</subfield><subfield code="z">(OCoLC)1295879825</subfield><subfield code="z">(OCoLC)1300521772</subfield><subfield code="z">(OCoLC)1303319867</subfield><subfield code="z">(OCoLC)1303521840</subfield><subfield code="z">(OCoLC)1306568441</subfield><subfield code="z">(OCoLC)1397624034</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.63</subfield><subfield code="b">.M37 1998eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">051010</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">30.10</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Marriott, Kim.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programming with constraints :</subfield><subfield code="b">an introduction /</subfield><subfield code="c">Kim Marriott and Peter J. Stuckey.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge, Mass. :</subfield><subfield code="b">MIT Press,</subfield><subfield code="c">©1998.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xiv, 467 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The job of the constraint programmer is to use mathematical constraints to model real world constraints and objects. In this book, Kim Marriott and Peter Stuckey provide the first comprehensive introduction to the discipline of constraint programming and, in particular, constraint logic programming. The book covers the necessary background material from artificial intelligence, logic programming, operations research, and mathematical programming. Topics discussed range from constraint-solving techniques to programming methodologies for constraint programming languages. Because there is not yet a universally used syntax for constraint logic programming languages, the authors present the programs in a way that is independent of any existing programming language. Practical exercises cover how to use the book with a number of existing constraint languages.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">pt. 1. Constraints. Constraints -- Simplification, optimization and implication -- Finite constraint domains -- pt. 2. Constraint logic programming. Constraint logic programs -- Simple modelling -- Using data structures -- Controlling search -- Modelling with finite domain constraints -- Advanced programming techniques -- CLP systems -- pt. 3. Other constraint programming languages. Constraint databases -- Other constraint programming languages</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic programming.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh86003454</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Constraint programming (Computer science)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh94003833</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Programmation logique.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Programmation par contraintes.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Programming Languages</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Constraint programming (Computer science)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic programming</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4195096-3</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Logisch programmeren.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Constraints (informatiewetenschap)</subfield><subfield code="0">(NL-LeOCL)271546433</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">COMPUTER SCIENCE/Programming Languages</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Leermiddelen (vorm)</subfield><subfield code="0">(NL-LeOCL)088143767</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Stuckey, Peter J.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Marriott, Kim.</subfield><subfield code="t">Programming with constraints.</subfield><subfield code="d">Cambridge, Mass. : MIT Press, ©1998</subfield><subfield code="z">0262133415</subfield><subfield code="w">(DLC) 97040549</subfield><subfield code="w">(OCoLC)37631225</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=39959</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="936" ind1=" " ind2=" "><subfield code="a">BATCHLOAD</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH37586635</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">39959</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Internet Archive</subfield><subfield code="b">INAR</subfield><subfield code="n">programmingwithc0000marr</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">10835535</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2320803</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
genre | Leermiddelen (vorm) (NL-LeOCL)088143767 gtt |
genre_facet | Leermiddelen (vorm) |
id | ZDB-4-EBA-ocm48139686 |
illustrated | Illustrated |
indexdate | 2024-11-27T13:15:15Z |
institution | BVB |
isbn | 0585309639 9780585309637 0262279169 9780262279161 0262133415 9780262133418 |
language | English |
oclc_num | 48139686 |
open_access_boolean | |
owner | MAIN DE-863 DE-BY-FWS |
owner_facet | MAIN DE-863 DE-BY-FWS |
physical | 1 online resource (xiv, 467 pages) : illustrations |
psigel | ZDB-4-EBA |
publishDate | 1998 |
publishDateSearch | 1998 |
publishDateSort | 1998 |
publisher | MIT Press, |
record_format | marc |
spelling | Marriott, Kim. Programming with constraints : an introduction / Kim Marriott and Peter J. Stuckey. Cambridge, Mass. : MIT Press, ©1998. 1 online resource (xiv, 467 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Includes bibliographical references and index. Print version record. The job of the constraint programmer is to use mathematical constraints to model real world constraints and objects. In this book, Kim Marriott and Peter Stuckey provide the first comprehensive introduction to the discipline of constraint programming and, in particular, constraint logic programming. The book covers the necessary background material from artificial intelligence, logic programming, operations research, and mathematical programming. Topics discussed range from constraint-solving techniques to programming methodologies for constraint programming languages. Because there is not yet a universally used syntax for constraint logic programming languages, the authors present the programs in a way that is independent of any existing programming language. Practical exercises cover how to use the book with a number of existing constraint languages. English. pt. 1. Constraints. Constraints -- Simplification, optimization and implication -- Finite constraint domains -- pt. 2. Constraint logic programming. Constraint logic programs -- Simple modelling -- Using data structures -- Controlling search -- Modelling with finite domain constraints -- Advanced programming techniques -- CLP systems -- pt. 3. Other constraint programming languages. Constraint databases -- Other constraint programming languages Logic programming. http://id.loc.gov/authorities/subjects/sh86003454 Constraint programming (Computer science) http://id.loc.gov/authorities/subjects/sh94003833 Programmation logique. Programmation par contraintes. COMPUTERS Programming Languages General. bisacsh Constraint programming (Computer science) fast Logic programming fast Logische Programmierung gnd http://d-nb.info/gnd/4195096-3 Logisch programmeren. gtt Constraints (informatiewetenschap) (NL-LeOCL)271546433 gtt COMPUTER SCIENCE/Programming Languages Leermiddelen (vorm) (NL-LeOCL)088143767 gtt Stuckey, Peter J. Print version: Marriott, Kim. Programming with constraints. Cambridge, Mass. : MIT Press, ©1998 0262133415 (DLC) 97040549 (OCoLC)37631225 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=39959 Volltext |
spellingShingle | Marriott, Kim Programming with constraints : an introduction / pt. 1. Constraints. Constraints -- Simplification, optimization and implication -- Finite constraint domains -- pt. 2. Constraint logic programming. Constraint logic programs -- Simple modelling -- Using data structures -- Controlling search -- Modelling with finite domain constraints -- Advanced programming techniques -- CLP systems -- pt. 3. Other constraint programming languages. Constraint databases -- Other constraint programming languages Logic programming. http://id.loc.gov/authorities/subjects/sh86003454 Constraint programming (Computer science) http://id.loc.gov/authorities/subjects/sh94003833 Programmation logique. Programmation par contraintes. COMPUTERS Programming Languages General. bisacsh Constraint programming (Computer science) fast Logic programming fast Logische Programmierung gnd http://d-nb.info/gnd/4195096-3 Logisch programmeren. gtt Constraints (informatiewetenschap) (NL-LeOCL)271546433 gtt |
subject_GND | http://id.loc.gov/authorities/subjects/sh86003454 http://id.loc.gov/authorities/subjects/sh94003833 http://d-nb.info/gnd/4195096-3 (NL-LeOCL)271546433 (NL-LeOCL)088143767 |
title | Programming with constraints : an introduction / |
title_auth | Programming with constraints : an introduction / |
title_exact_search | Programming with constraints : an introduction / |
title_full | Programming with constraints : an introduction / Kim Marriott and Peter J. Stuckey. |
title_fullStr | Programming with constraints : an introduction / Kim Marriott and Peter J. Stuckey. |
title_full_unstemmed | Programming with constraints : an introduction / Kim Marriott and Peter J. Stuckey. |
title_short | Programming with constraints : |
title_sort | programming with constraints an introduction |
title_sub | an introduction / |
topic | Logic programming. http://id.loc.gov/authorities/subjects/sh86003454 Constraint programming (Computer science) http://id.loc.gov/authorities/subjects/sh94003833 Programmation logique. Programmation par contraintes. COMPUTERS Programming Languages General. bisacsh Constraint programming (Computer science) fast Logic programming fast Logische Programmierung gnd http://d-nb.info/gnd/4195096-3 Logisch programmeren. gtt Constraints (informatiewetenschap) (NL-LeOCL)271546433 gtt |
topic_facet | Logic programming. Constraint programming (Computer science) Programmation logique. Programmation par contraintes. COMPUTERS Programming Languages General. Logic programming Logische Programmierung Logisch programmeren. Constraints (informatiewetenschap) Leermiddelen (vorm) |
url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=39959 |
work_keys_str_mv | AT marriottkim programmingwithconstraintsanintroduction AT stuckeypeterj programmingwithconstraintsanintroduction |