Constraint handling rules: current research topics
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2008
|
| Schriftenreihe: | Lecture notes in computer science
5388 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | 244 S. graph. Darst. 24 cm |
| ISBN: | 9783540922421 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035385135 | ||
| 003 | DE-604 | ||
| 005 | 20090507 | ||
| 007 | t| | ||
| 008 | 090323s2008 xx d||| |||| 00||| eng d | ||
| 015 | |a 08,N50,0009 |2 dnb | ||
| 015 | |a 09,A05,0033 |2 dnb | ||
| 016 | 7 | |a 991445236 |2 DE-101 | |
| 020 | |a 9783540922421 |c kart. : EUR 45.96 (freier Pr.), ca. sfr 71.50 (freier Pr.) |9 978-3-540-92242-1 | ||
| 024 | 3 | |a 9783540922421 | |
| 028 | 5 | 2 | |a 12590667 |
| 035 | |a (OCoLC)298776960 | ||
| 035 | |a (DE-599)DNB991445236 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.612 | |
| 082 | 0 | |a 005.116 |2 22 | |
| 082 | 0 | |a 005.116 |2 22/ger | |
| 082 | 0 | |a 005.133 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 358f |2 stub | ||
| 245 | 1 | 0 | |a Constraint handling rules |b current research topics |c Tom Schrijvers ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2008 | |
| 300 | |a 244 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5388 : Lecture notes in artificial intelligence | |
| 490 | 0 | |a State of the art survey | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a CHR <Programmiersprache> - Aufsatzsammlung | |
| 650 | 4 | |a Constraint programming (Computer science) | |
| 650 | 0 | 7 | |a CHR |g Programmiersprache |0 (DE-588)7640821-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a CHR |g Programmiersprache |0 (DE-588)7640821-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Schrijvers, Tom |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5388 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 5388 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017306020&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017306020 | |
Datensatz im Suchindex
| _version_ | 1820875112299102208 |
|---|---|
| adam_text |
TABLE OF CONTENTS INTRODUCTION WELCOME TO CONSTRAINT HANDLING RULES 1
THOM FRUEHWIRTH SEARCH A FLEXIBLE SEARCH FRAMEWORK FOR CHR 16 LESLIE DE
KONINCK, TOM SCHRIJVERS, AND BART DEMOEN ADAPTIVE CHR MEETS CHR V : AN
EXTENDED REFINED OPERATIONAL SEMANTICS FOR CHR V BASED ON JUSTIFICATIONS
48 ARMIN WOLF, JACQUES ROBIN, AND JAIRSON VITORINO APPLICATIONS
CONSTRUCTING RULE-BASED SOLVERS FOR INTENTIONALLY-DEFINED CONSTRAINTS 70
INGI SOBHI, SLIM ABDENNADHER, AND HARIOLF BETZ IMPLEMENTING
PROBABILISTIC ABDUCTIVE LOGIC PROGRAMMING WITH CONSTRAINT HANDLING RULES
85 HENNING CHRISTIANSEN THEORY A COMPOSITIONAL SEMANTICS FOR CHR WITH
PROPAGATION RULES 119 MAURIZIO GABBRIELLI, MARIA CHIARA MEO. AND PAOLO
TACRHELLA IMPLEMENTATION CHR FOR IMPERATIVE HOST LANGUAGCS 161 PETER VAN
WEERT, PIETER WUILLE. TOM SCHRIJVERS. AND BART DEMOEN GUARD REASONING IN
THE REFINED OPERATIONAL SEMANTICS OF CHR 213 JON SNEYERS. TOM
SCHRIJVERS. AND BART DEMOEN AUTHOR INDEX 245 BIBLIOGRAFISCHE
INFORMATIONEN HTTP://D-NB.INFO/991445236 DIGITALISIERT DURCH |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035385135 |
| 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 | SS 4800 |
| classification_tum | DAT 358f |
| ctrlnum | (OCoLC)298776960 (DE-599)DNB991445236 |
| dewey-full | 005.116 005.133 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.116 005.133 |
| dewey-search | 005.116 005.133 |
| dewey-sort | 15.116 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV035385135</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090507</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090323s2008 xx d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,N50,0009</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,A05,0033</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">991445236</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540922421</subfield><subfield code="c">kart. : EUR 45.96 (freier Pr.), ca. sfr 71.50 (freier Pr.)</subfield><subfield code="9">978-3-540-92242-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540922421</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12590667</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)298776960</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB991445236</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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="082" ind1="0" ind2=" "><subfield code="a">005.116</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.133</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 358f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Constraint handling rules</subfield><subfield code="b">current research topics</subfield><subfield code="c">Tom Schrijvers ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">244 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5388 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">State of the art survey</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">CHR <Programmiersprache> - Aufsatzsammlung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraint programming (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CHR</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)7640821-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">CHR</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)7640821-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schrijvers, Tom</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5388 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5388</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=017306020&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017306020</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV035385135 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:25Z |
| institution | BVB |
| isbn | 9783540922421 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017306020 |
| oclc_num | 298776960 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | 244 S. graph. Darst. 24 cm |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science State of the art survey |
| spelling | Constraint handling rules current research topics Tom Schrijvers ... (eds.) Berlin [u.a.] Springer 2008 244 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5388 : Lecture notes in artificial intelligence State of the art survey Literaturangaben CHR <Programmiersprache> - Aufsatzsammlung Constraint programming (Computer science) CHR Programmiersprache (DE-588)7640821-8 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content CHR Programmiersprache (DE-588)7640821-8 s DE-604 Schrijvers, Tom Sonstige oth Lecture notes in computer science 5388 : Lecture notes in artificial intelligence (DE-604)BV000000607 5388 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017306020&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Constraint handling rules current research topics Lecture notes in computer science CHR <Programmiersprache> - Aufsatzsammlung Constraint programming (Computer science) CHR Programmiersprache (DE-588)7640821-8 gnd |
| subject_GND | (DE-588)7640821-8 (DE-588)4143413-4 |
| title | Constraint handling rules current research topics |
| title_auth | Constraint handling rules current research topics |
| title_exact_search | Constraint handling rules current research topics |
| title_full | Constraint handling rules current research topics Tom Schrijvers ... (eds.) |
| title_fullStr | Constraint handling rules current research topics Tom Schrijvers ... (eds.) |
| title_full_unstemmed | Constraint handling rules current research topics Tom Schrijvers ... (eds.) |
| title_short | Constraint handling rules |
| title_sort | constraint handling rules current research topics |
| title_sub | current research topics |
| topic | CHR <Programmiersprache> - Aufsatzsammlung Constraint programming (Computer science) CHR Programmiersprache (DE-588)7640821-8 gnd |
| topic_facet | CHR <Programmiersprache> - Aufsatzsammlung Constraint programming (Computer science) CHR Programmiersprache Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017306020&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT schrijverstom constrainthandlingrulescurrentresearchtopics |