Constraint programming languages: their specification and generation
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Reading, Mass. u.a.
Addison-Wesley
1988
|
| Schlagworte: | |
| Beschreibung: | VI, 202 S. |
| ISBN: | 0201062437 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009675761 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940627s1988 |||| 00||| eng d | ||
| 020 | |a 0201062437 |9 0-201-06243-7 | ||
| 035 | |a (OCoLC)15520815 | ||
| 035 | |a (DE-599)BVBBV009675761 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 | ||
| 050 | 0 | |a QA76.73.B47 | |
| 082 | 0 | |a 005.13/3 |2 19 | |
| 100 | 1 | |a Leler, Wm |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Constraint programming languages |b their specification and generation |c Wm Leler |
| 264 | 1 | |a Reading, Mass. u.a. |b Addison-Wesley |c 1988 | |
| 300 | |a VI, 202 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a BERTRAND |2 inriac | |
| 650 | 4 | |a Bertrand (Langage de programmation) | |
| 650 | 2 | |a Langage programmation | |
| 650 | 7 | |a contrainte |2 inriac | |
| 650 | 7 | |a langage fonctionnel |2 inriac | |
| 650 | 7 | |a langage sous contrainte |2 inriac | |
| 650 | 7 | |a résolution équation |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a sémantique opérationnelle |2 inriac | |
| 650 | 4 | |a Bertrand (Computer program language) | |
| 650 | 4 | |a Constraint programming (Computer science) | |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006399443 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804124021294366720 |
|---|---|
| any_adam_object | |
| author | Leler, Wm |
| author_facet | Leler, Wm |
| author_role | aut |
| author_sort | Leler, Wm |
| author_variant | w l wl |
| building | Verbundindex |
| bvnumber | BV009675761 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.73.B47 |
| callnumber-search | QA76.73.B47 |
| callnumber-sort | QA 276.73 B47 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)15520815 (DE-599)BVBBV009675761 |
| dewey-full | 005.13/3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/3 |
| dewey-search | 005.13/3 |
| dewey-sort | 15.13 13 |
| 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>01515nam a2200457 c 4500</leader><controlfield tag="001">BV009675761</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940627s1988 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0201062437</subfield><subfield code="9">0-201-06243-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)15520815</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009675761</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-19</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.73.B47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/3</subfield><subfield code="2">19</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Leler, Wm</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Constraint programming languages</subfield><subfield code="b">their specification and generation</subfield><subfield code="c">Wm Leler</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Reading, Mass. u.a.</subfield><subfield code="b">Addison-Wesley</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 202 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="7"><subfield code="a">BERTRAND</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Bertrand (Langage de programmation)</subfield></datafield><datafield tag="650" ind1=" " ind2="2"><subfield code="a">Langage programmation</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">contrainte</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage fonctionnel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage sous contrainte</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">résolution équation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réécriture</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique opérationnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Bertrand (Computer program language)</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006399443</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV009675761 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:39:02Z |
| institution | BVB |
| isbn | 0201062437 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006399443 |
| oclc_num | 15520815 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM |
| owner_facet | DE-19 DE-BY-UBM |
| physical | VI, 202 S. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | Addison-Wesley |
| record_format | marc |
| spelling | Leler, Wm Verfasser aut Constraint programming languages their specification and generation Wm Leler Reading, Mass. u.a. Addison-Wesley 1988 VI, 202 S. txt rdacontent n rdamedia nc rdacarrier BERTRAND inriac Bertrand (Langage de programmation) Langage programmation contrainte inriac langage fonctionnel inriac langage sous contrainte inriac résolution équation inriac réécriture inriac sémantique opérationnelle inriac Bertrand (Computer program language) Constraint programming (Computer science) Programmiersprache (DE-588)4047409-4 gnd rswk-swf Programmiersprache (DE-588)4047409-4 s 1\p DE-604 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Leler, Wm Constraint programming languages their specification and generation BERTRAND inriac Bertrand (Langage de programmation) Langage programmation contrainte inriac langage fonctionnel inriac langage sous contrainte inriac résolution équation inriac réécriture inriac sémantique opérationnelle inriac Bertrand (Computer program language) Constraint programming (Computer science) Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4047409-4 |
| title | Constraint programming languages their specification and generation |
| title_auth | Constraint programming languages their specification and generation |
| title_exact_search | Constraint programming languages their specification and generation |
| title_full | Constraint programming languages their specification and generation Wm Leler |
| title_fullStr | Constraint programming languages their specification and generation Wm Leler |
| title_full_unstemmed | Constraint programming languages their specification and generation Wm Leler |
| title_short | Constraint programming languages |
| title_sort | constraint programming languages their specification and generation |
| title_sub | their specification and generation |
| topic | BERTRAND inriac Bertrand (Langage de programmation) Langage programmation contrainte inriac langage fonctionnel inriac langage sous contrainte inriac résolution équation inriac réécriture inriac sémantique opérationnelle inriac Bertrand (Computer program language) Constraint programming (Computer science) Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | BERTRAND Bertrand (Langage de programmation) Langage programmation contrainte langage fonctionnel langage sous contrainte résolution équation réécriture sémantique opérationnelle Bertrand (Computer program language) Constraint programming (Computer science) Programmiersprache |
| work_keys_str_mv | AT lelerwm constraintprogramminglanguagestheirspecificationandgeneration |