Constraint logic programming using eclipse:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Cambridge [u.a.]
Cambridge Univ. Press
2007
|
| Ausgabe: | 1. publ. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XV, 329 S. |
| ISBN: | 9780521866286 0521866286 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV021797236 | ||
| 003 | DE-604 | ||
| 005 | 20091208 | ||
| 007 | t | ||
| 008 | 061107s2007 |||| 00||| ger d | ||
| 020 | |a 9780521866286 |9 978-0-521-86628-6 | ||
| 020 | |a 0521866286 |9 0-521-86628-6 | ||
| 035 | |a (OCoLC)78988320 | ||
| 035 | |a (DE-599)BVBBV021797236 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-473 |a DE-1051 |a DE-29T |a DE-83 |a DE-634 | ||
| 050 | 0 | |a QA76.612 | |
| 082 | 0 | |a 005.116 |2 22 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 100 | 1 | |a Apt, Krzysztof R. |d 1949- |e Verfasser |0 (DE-588)110139763 |4 aut | |
| 245 | 1 | 0 | |a Constraint logic programming using eclipse |c Krzysztof R. Apt and Mark Wallace |
| 246 | 1 | 3 | |a Constraint logic programming using ecl i ps e |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2007 | |
| 300 | |a XV, 329 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Programmation logique | |
| 650 | 4 | |a Programmation par contraintes | |
| 650 | 4 | |a Constraint programming (Computer science) | |
| 650 | 4 | |a Logic programming | |
| 650 | 0 | 7 | |a Constraint |g Künstliche Intelligenz |0 (DE-588)4314755-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Eclipse |g Programmierumgebung |0 (DE-588)4768065-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Constraint-logische Programmierung |0 (DE-588)4382849-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Constraint-logische Programmierung |0 (DE-588)4382849-8 |D s |
| 689 | 0 | 1 | |a Eclipse |g Programmierumgebung |0 (DE-588)4768065-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | 1 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |D s |
| 689 | 1 | 2 | |a Constraint |g Künstliche Intelligenz |0 (DE-588)4314755-0 |D s |
| 689 | 1 | 3 | |a Eclipse |g Programmierumgebung |0 (DE-588)4768065-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Wallace, Mark |e Verfasser |0 (DE-588)122755634 |4 aut | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015009803&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015009803 | ||
Datensatz im Suchindex
| _version_ | 1804135711119507456 |
|---|---|
| adam_text | CONSTRAINT LOGIC PROGRAMMING USING ECIJPS* KRZYSZTOF R. APT AND MARK
WALLACE CAMBRIDGE UNIVERSITY PRESS CONTENTS INTRODUCTION PAGE IX PART I:
LOGIC PROGRAMMING PARADIGM 1 1 LOGIC PROGRAMMING AND PURE PROLOG 3 1.1
INTRODUCTION 3 1.2 SYNTAX 4 1.3 THE MEANING OF A PROGRAM 7 1.4 COMPUTING
WITH EQUATIONS 9 1.5 PROLOG: THE FIRST STEPS 15 1.6 TWO SIMPLE PURE
PROLOG PROGRAMS 23 1.7 SUMMARY 26 1.8 EXERCISES 26 2 A RECONSTRUCTION OF
PURE PROLOG 29 2.1 INTRODUCTION 29 2.2 THE PROGRAMMING LANGUAGE CO 29
2.3 TRANSLATING PURE PROLOG INTO CO 33 2.4 PURE PROLOG AND DECLARATIVE
PROGRAMMING 35 2.5 CO AND DECLARATIVE PROGRAMMING . 36 2.6 SUMMARY 37
2.7 EXERCISES 38 PART II: ELEMENTS OF PROLOG 39 3 ARITHMETIC IN PROLOG
41 3.1 INTRODUCTION 41 3.2 ARITHMETIC EXPRESSIONS AND THEIR EVALUATION
42 3.3 ARITHMETIC COMPARISON PREDICATES 47 3.4 PASSIVE VERSUS ACTIVE
CONSTRAINTS 51 3.5 3.6 3.7 OPERATORS SUMMARY EXERCISES CONTROL AND
META-PROGRAMMING 4.1 4.2 4.3 4.4 4.5 MORE ON PROLOG SYNTAX CONTROL
META-PROGRAMMING SUMMARY EXERCISES MANIPULATING STRUCTURES 5.1 5.2 5.3
5.4 5.5 STRUCTURE INSPECTION FACILITIES STRUCTURE COMPARISON FACILITIES
STRUCTURE DECOMPOSITION AND CONSTRUCTION FACILITIES SUMMARY EXERCISES VI
CONTENTS 52 55 57 59 59 62 69 74 75 76 76 78 80 85 85 PART III:
PROGRAMMING WITH PASSIVE CONSTRAINTS 87 6 CONSTRAINT PROGRAMMING: A
PRIMER 89 6.1 INTRODUCTION 89 6.2 BASIC CONCEPTS 90 6.3 EXAMPLE CLASSES
OF CONSTRAINTS 91 6.4 CONSTRAINT SATISFACTION PROBLEMS: EXAMPLES 94 6.5
CONSTRAINED OPTIMISATION PROBLEMS: EXAMPLES 98 6.6 SOLVING CSPS AND COPS
102 6.7 FROM CSPS AND COPS TO CONSTRAINT PROGRAMMING 107 6.8 SUMMARY 108
6.9 EXERCISES 108 7 INTERMEZZO: ITERATION IN ECL L PS? 110 7.1
INTRODUCTION 110 7.2 ITERATING OVER LISTS AND INTEGER RANGES 111 7.3
ITERATION SPECIFICATIONS IN GENERAL 113 7.4 ARRAYS AND ITERATIONS 121
7.5 F ROMTO/4: THE MOST GENERAL ITERATOR 124 7.6 THE N-QUEENS PROBLEM
129 7.7 SUMMARY 130 7.8 EXERCISES 132 8 TOP-DOWN SEARCH WITH PASSIVE
CONSTRAINTS 133 8.1 INTRODUCTION 133 8.2 SOLVING CSPS USING PROLOG 134
CONTENTS VII 8.3 BACKTRACKING SEARCH IN PROLOG 135 8.4 INCOMPLETE SEARCH
139 8.5 NON-LOGICAL VARIABLES 146 8.6 COUNTING THE NUMBER OF BACKTRACKS
149 8.7 SUMMARY 153 8.8 EXERCISES 153 9 THE SUSPEND LIBRARY 155 9.1
INTRODUCTION 155 9.2 SOLVING CSPS AND COPS USING ECLTS 6 156 9.3
INTRODUCING THE SUSPEND LIBRARY 157 9.4 CORE CONSTRAINTS 160 9.5 USER
DEFINED SUSPENSIONS 167 9.6 GENERATING CSPS 170 9.7 USING THE SUSPEN D
LIBRARY 175 9.8 SUMMARY 180 9.9 EXERCISES 181 PART IV: PROGRAMMING WITH
ACTIVE CONSTRAINTS 183 10 CONSTRAINT PROPAGATION IN ECL L PS E 185 10.1
INTRODUCTION 185 10.2 THE SD LIBRARY 186 10.3 THE IC LIBRARY 189 10.4
DISJUNCTIVE CONSTRAINTS AND REIFICATION 200 10.5 SUMMARY 203 10.6
EXERCISES 204 11 TOP-DOWN SEARCH WITH ACTIVE CONSTRAINTS 205 11.1
INTRODUCTION 205 11.2 BACKTRACK-FREE SEARCH 206 11.3 SHALLOW
BACKTRACKING SEARCH 208 11.4 BACKTRACKING SEARCH 211 11.5 VARIABLE
ORDERING HEURISTICS 215 11.6 VALUE ORDERING HEURISTICS 218 11.7
CONSTRUCTING SPECIFIC SEARCH BEHAVIOUR 220 11.8 THE SEARCH/6 GENERIC
SEARCH PREDICATE 223 11.9 SUMMARY 227 11.10 EXERCISES 229 12
OPTIMISATION WITH ACTIVE CONSTRAINTS 230 12.1 THE MINIMIZE/2 BUILT-IN
230 12.2 THE KNAPSACK PROBLEM 232 VIII CONTENTS 12.3 THE COINS PROBLEM
234 12.4 THE CURRENCY DESIGN PROBLEM 235 12.5 GENERATING SUDOKU PUZZLES
240 12.6 THE BB_MIN/3 BUILT-IN 246 12.7 WHEN THE NUMBER OF VARIABLES IS
UNKNOWN 253 12.8 SUMMARY 254 12.9 EXERCISES 255 13 CONSTRAINTS ON REALS
256 13.1 INTRODUCTION 256 13.2 THREE CLASSES OF PROBLEMS 257 13.3
CONSTRAINT PROPAGATION 261 13.4 SPLITTING ONE DOMAIN 263 13.5 SEARCH 264
13.6 THE BUILT-IN SEARCH PREDICATE LOCATE 265 13.7 SHAVING 267 13.8
OPTIMISATION ON CONTINUOUS VARIABLES 272 13.9 SUMMARY 275 13.10
EXERCISES 275 14 LINEAR CONSTRAINTS OVER CONTINUOUS AND INTEGER
VARIABLES 278 14.1 INTRODUCTION 278 14.2 THE EPLEX LIBRARY 279 14.3
SOLVING SATISFIABILITY PROBLEMS USING EPLEX 284 14.4 REPEATED SOLVER
WAKING 285 14.5 THE TRANSPORTATION PROBLEM 289 14.6 THE LINEAR FACILITY
LOCATION PROBLEM 294 14.7 THE NON-LINEAR FACILITY LOCATION PROBLEM 296
14.8 SUMMARY 302 14.9 EXERCISES 303 SOLUTIONS TO SELECTED EXERCISES 305
BIBLIOGRAPHIC REMARKS 320 BIBLIOGRAPHY 323 INDEX 327
|
| adam_txt |
CONSTRAINT LOGIC PROGRAMMING USING ECIJPS* KRZYSZTOF R. APT AND MARK
WALLACE CAMBRIDGE UNIVERSITY PRESS CONTENTS INTRODUCTION PAGE IX PART I:
LOGIC PROGRAMMING PARADIGM 1 1 LOGIC PROGRAMMING AND PURE PROLOG 3 1.1
INTRODUCTION 3 1.2 SYNTAX 4 1.3 THE MEANING OF A PROGRAM 7 1.4 COMPUTING
WITH EQUATIONS 9 1.5 PROLOG: THE FIRST STEPS 15 1.6 TWO SIMPLE PURE
PROLOG PROGRAMS 23 1.7 SUMMARY 26 1.8 EXERCISES 26 2 A RECONSTRUCTION OF
PURE PROLOG 29 2.1 INTRODUCTION 29 2.2 THE PROGRAMMING LANGUAGE CO 29
2.3 TRANSLATING PURE PROLOG INTO CO 33 2.4 PURE PROLOG AND DECLARATIVE
PROGRAMMING 35 2.5 CO AND DECLARATIVE PROGRAMMING . 36 2.6 SUMMARY 37
2.7 EXERCISES 38 PART II: ELEMENTS OF PROLOG 39 3 ARITHMETIC IN PROLOG
41 3.1 INTRODUCTION 41 3.2 ARITHMETIC EXPRESSIONS AND THEIR EVALUATION
42 3.3 ARITHMETIC COMPARISON PREDICATES 47 3.4 PASSIVE VERSUS ACTIVE
CONSTRAINTS 51 3.5 3.6 3.7 OPERATORS SUMMARY EXERCISES CONTROL AND
META-PROGRAMMING 4.1 4.2 4.3 4.4 4.5 MORE ON PROLOG SYNTAX CONTROL
META-PROGRAMMING SUMMARY EXERCISES MANIPULATING STRUCTURES 5.1 5.2 5.3
5.4 5.5 STRUCTURE INSPECTION FACILITIES STRUCTURE COMPARISON FACILITIES
STRUCTURE DECOMPOSITION AND CONSTRUCTION FACILITIES SUMMARY EXERCISES VI
CONTENTS 52 55 57 59 59 62 69 74 75 76 76 78 80 85 85 PART III:
PROGRAMMING WITH PASSIVE CONSTRAINTS 87 6 CONSTRAINT PROGRAMMING: A
PRIMER 89 6.1 INTRODUCTION 89 6.2 BASIC CONCEPTS 90 6.3 EXAMPLE CLASSES
OF CONSTRAINTS 91 6.4 CONSTRAINT SATISFACTION PROBLEMS: EXAMPLES 94 6.5
CONSTRAINED OPTIMISATION PROBLEMS: EXAMPLES 98 6.6 SOLVING CSPS AND COPS
102 6.7 FROM CSPS AND COPS TO CONSTRAINT PROGRAMMING 107 6.8 SUMMARY 108
6.9 EXERCISES 108 7 INTERMEZZO: ITERATION IN ECL L PS? 110 7.1
INTRODUCTION 110 7.2 ITERATING OVER LISTS AND INTEGER RANGES 111 7.3
ITERATION SPECIFICATIONS IN GENERAL 113 7.4 ARRAYS AND ITERATIONS 121
7.5 F ROMTO/4: THE MOST GENERAL ITERATOR 124 7.6 THE N-QUEENS PROBLEM
129 7.7 SUMMARY 130 7.8 EXERCISES 132 8 TOP-DOWN SEARCH WITH PASSIVE
CONSTRAINTS 133 8.1 INTRODUCTION 133 8.2 SOLVING CSPS USING PROLOG 134
CONTENTS VII 8.3 BACKTRACKING SEARCH IN PROLOG 135 8.4 INCOMPLETE SEARCH
139 8.5 NON-LOGICAL VARIABLES 146 8.6 COUNTING THE NUMBER OF BACKTRACKS
149 8.7 SUMMARY 153 8.8 EXERCISES 153 9 THE SUSPEND LIBRARY 155 9.1
INTRODUCTION 155 9.2 SOLVING CSPS AND COPS USING ECLTS 6 156 9.3
INTRODUCING THE SUSPEND LIBRARY 157 9.4 CORE CONSTRAINTS 160 9.5 USER
DEFINED SUSPENSIONS 167 9.6 GENERATING CSPS 170 9.7 USING THE SUSPEN D
LIBRARY 175 9.8 SUMMARY 180 9.9 EXERCISES 181 PART IV: PROGRAMMING WITH
ACTIVE CONSTRAINTS 183 10 CONSTRAINT PROPAGATION IN ECL L PS E 185 10.1
INTRODUCTION 185 10.2 THE SD LIBRARY 186 10.3 THE IC LIBRARY 189 10.4
DISJUNCTIVE CONSTRAINTS AND REIFICATION 200 10.5 SUMMARY 203 10.6
EXERCISES 204 11 TOP-DOWN SEARCH WITH ACTIVE CONSTRAINTS 205 11.1
INTRODUCTION 205 11.2 BACKTRACK-FREE SEARCH 206 11.3 SHALLOW
BACKTRACKING SEARCH 208 11.4 BACKTRACKING SEARCH 211 11.5 VARIABLE
ORDERING HEURISTICS 215 11.6 VALUE ORDERING HEURISTICS 218 11.7
CONSTRUCTING SPECIFIC SEARCH BEHAVIOUR 220 11.8 THE SEARCH/6 GENERIC
SEARCH PREDICATE 223 11.9 SUMMARY 227 11.10 EXERCISES 229 12
OPTIMISATION WITH ACTIVE CONSTRAINTS 230 12.1 THE MINIMIZE/2 BUILT-IN
230 12.2 THE KNAPSACK PROBLEM 232 VIII CONTENTS 12.3 THE COINS PROBLEM
234 12.4 THE CURRENCY DESIGN PROBLEM 235 12.5 GENERATING SUDOKU PUZZLES
240 12.6 THE BB_MIN/3 BUILT-IN 246 12.7 WHEN THE NUMBER OF VARIABLES IS
UNKNOWN 253 12.8 SUMMARY 254 12.9 EXERCISES 255 13 CONSTRAINTS ON REALS
256 13.1 INTRODUCTION 256 13.2 THREE CLASSES OF PROBLEMS 257 13.3
CONSTRAINT PROPAGATION 261 13.4 SPLITTING ONE DOMAIN 263 13.5 SEARCH 264
13.6 THE BUILT-IN SEARCH PREDICATE LOCATE 265 13.7 SHAVING 267 13.8
OPTIMISATION ON CONTINUOUS VARIABLES 272 13.9 SUMMARY 275 13.10
EXERCISES 275 14 LINEAR CONSTRAINTS OVER CONTINUOUS AND INTEGER
VARIABLES 278 14.1 INTRODUCTION 278 14.2 THE EPLEX LIBRARY 279 14.3
SOLVING SATISFIABILITY PROBLEMS USING EPLEX 284 14.4 REPEATED SOLVER
WAKING 285 14.5 THE TRANSPORTATION PROBLEM 289 14.6 THE LINEAR FACILITY
LOCATION PROBLEM 294 14.7 THE NON-LINEAR FACILITY LOCATION PROBLEM 296
14.8 SUMMARY 302 14.9 EXERCISES 303 SOLUTIONS TO SELECTED EXERCISES 305
BIBLIOGRAPHIC REMARKS 320 BIBLIOGRAPHY 323 INDEX 327 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Apt, Krzysztof R. 1949- Wallace, Mark |
| author_GND | (DE-588)110139763 (DE-588)122755634 |
| author_facet | Apt, Krzysztof R. 1949- Wallace, Mark |
| author_role | aut aut |
| author_sort | Apt, Krzysztof R. 1949- |
| author_variant | k r a kr kra m w mw |
| building | Verbundindex |
| bvnumber | BV021797236 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.612 |
| callnumber-search | QA76.612 |
| callnumber-sort | QA 276.612 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 ST 250 |
| ctrlnum | (OCoLC)78988320 (DE-599)BVBBV021797236 |
| dewey-full | 005.116 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.116 |
| dewey-search | 005.116 |
| dewey-sort | 15.116 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02423nam a2200565 c 4500</leader><controlfield tag="001">BV021797236</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20091208 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">061107s2007 |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521866286</subfield><subfield code="9">978-0-521-86628-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521866286</subfield><subfield code="9">0-521-86628-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)78988320</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021797236</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.612</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.116</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Apt, Krzysztof R.</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)110139763</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Constraint logic programming using eclipse</subfield><subfield code="c">Krzysztof R. Apt and Mark Wallace</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Constraint logic programming using ecl i ps e</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 329 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation par contraintes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraint programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4314755-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">PROLOG</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4047464-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eclipse</subfield><subfield code="g">Programmierumgebung</subfield><subfield code="0">(DE-588)4768065-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint-logische Programmierung</subfield><subfield code="0">(DE-588)4382849-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Constraint-logische Programmierung</subfield><subfield code="0">(DE-588)4382849-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Eclipse</subfield><subfield code="g">Programmierumgebung</subfield><subfield code="0">(DE-588)4768065-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">PROLOG</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4047464-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Constraint</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4314755-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Eclipse</subfield><subfield code="g">Programmierumgebung</subfield><subfield code="0">(DE-588)4768065-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wallace, Mark</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)122755634</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015009803&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015009803</subfield></datafield></record></collection> |
| id | DE-604.BV021797236 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T15:46:36Z |
| indexdate | 2024-07-09T20:44:50Z |
| institution | BVB |
| isbn | 9780521866286 0521866286 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015009803 |
| oclc_num | 78988320 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-1051 DE-29T DE-83 DE-634 |
| owner_facet | DE-473 DE-BY-UBG DE-1051 DE-29T DE-83 DE-634 |
| physical | XV, 329 S. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| spelling | Apt, Krzysztof R. 1949- Verfasser (DE-588)110139763 aut Constraint logic programming using eclipse Krzysztof R. Apt and Mark Wallace Constraint logic programming using ecl i ps e 1. publ. Cambridge [u.a.] Cambridge Univ. Press 2007 XV, 329 S. txt rdacontent n rdamedia nc rdacarrier Programmation logique Programmation par contraintes Constraint programming (Computer science) Logic programming Constraint Künstliche Intelligenz (DE-588)4314755-0 gnd rswk-swf PROLOG Programmiersprache (DE-588)4047464-1 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Eclipse Programmierumgebung (DE-588)4768065-9 gnd rswk-swf Constraint-logische Programmierung (DE-588)4382849-8 gnd rswk-swf Constraint-logische Programmierung (DE-588)4382849-8 s Eclipse Programmierumgebung (DE-588)4768065-9 s DE-604 Logische Programmierung (DE-588)4195096-3 s PROLOG Programmiersprache (DE-588)4047464-1 s Constraint Künstliche Intelligenz (DE-588)4314755-0 s Wallace, Mark Verfasser (DE-588)122755634 aut HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015009803&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Apt, Krzysztof R. 1949- Wallace, Mark Constraint logic programming using eclipse Programmation logique Programmation par contraintes Constraint programming (Computer science) Logic programming Constraint Künstliche Intelligenz (DE-588)4314755-0 gnd PROLOG Programmiersprache (DE-588)4047464-1 gnd Logische Programmierung (DE-588)4195096-3 gnd Eclipse Programmierumgebung (DE-588)4768065-9 gnd Constraint-logische Programmierung (DE-588)4382849-8 gnd |
| subject_GND | (DE-588)4314755-0 (DE-588)4047464-1 (DE-588)4195096-3 (DE-588)4768065-9 (DE-588)4382849-8 |
| title | Constraint logic programming using eclipse |
| title_alt | Constraint logic programming using ecl i ps e |
| title_auth | Constraint logic programming using eclipse |
| title_exact_search | Constraint logic programming using eclipse |
| title_exact_search_txtP | Constraint logic programming using eclipse |
| title_full | Constraint logic programming using eclipse Krzysztof R. Apt and Mark Wallace |
| title_fullStr | Constraint logic programming using eclipse Krzysztof R. Apt and Mark Wallace |
| title_full_unstemmed | Constraint logic programming using eclipse Krzysztof R. Apt and Mark Wallace |
| title_short | Constraint logic programming using eclipse |
| title_sort | constraint logic programming using eclipse |
| topic | Programmation logique Programmation par contraintes Constraint programming (Computer science) Logic programming Constraint Künstliche Intelligenz (DE-588)4314755-0 gnd PROLOG Programmiersprache (DE-588)4047464-1 gnd Logische Programmierung (DE-588)4195096-3 gnd Eclipse Programmierumgebung (DE-588)4768065-9 gnd Constraint-logische Programmierung (DE-588)4382849-8 gnd |
| topic_facet | Programmation logique Programmation par contraintes Constraint programming (Computer science) Logic programming Constraint Künstliche Intelligenz PROLOG Programmiersprache Logische Programmierung Eclipse Programmierumgebung Constraint-logische Programmierung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015009803&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT aptkrzysztofr constraintlogicprogrammingusingeclipse AT wallacemark constraintlogicprogrammingusingeclipse |