Constraint-based reasoning:
Saved in:
| Format: | Electronic eBook |
|---|---|
| Language: | English |
| Published: |
Cambridge, Mass.
MIT Press
1994
|
| Subjects: | |
| Online Access: | FHA01 FHI01 Volltext |
| Item Description: | "A Bradford book.". - Reprinted from Artificial intelligence, volume 58, numbers 1-3, 1992 Includes bibliographical references and index |
| Physical Description: | 1 Online-Ressource (403 p.) |
| ISBN: | 0262288443 0262560755 9780262288446 9780262560757 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042509139 | ||
| 003 | DE-604 | ||
| 005 | 20190213 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150417s1994 |||| o||u| ||||||eng d | ||
| 020 | |a 0262288443 |c electronic bk. |9 0-262-28844-3 | ||
| 020 | |a 0262560755 |9 0-262-56075-5 | ||
| 020 | |a 9780262288446 |c electronic bk. |9 978-0-262-28844-6 | ||
| 020 | |a 9780262560757 |9 978-0-262-56075-7 | ||
| 035 | |a (OCoLC)827013085 | ||
| 035 | |a (DE-599)BVBBV042509139 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-Aug4 |a DE-573 | ||
| 082 | 0 | |a 006.3 |2 22 | |
| 245 | 1 | 0 | |a Constraint-based reasoning |c edited by Eugene C. Freuder and Alan K. Mackworth |
| 264 | 1 | |a Cambridge, Mass. |b MIT Press |c 1994 | |
| 300 | |a 1 Online-Ressource (403 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a "A Bradford book.". - Reprinted from Artificial intelligence, volume 58, numbers 1-3, 1992 | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Contraintes (Intelligence artificielle) | |
| 650 | 4 | |a Raisonnement | |
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 7 | |a Redeneren |2 gtt | |
| 650 | 7 | |a Beperkingen |2 gtt | |
| 650 | 7 | |a Intelligence artificielle |2 ram | |
| 650 | 7 | |a Contraintes (intelligence artificielle) |2 ram | |
| 650 | 7 | |a Raisonnement |2 ram | |
| 650 | 7 | |a Aufsatzsammlung |2 swd | |
| 650 | 7 | |a Künstliche Intelligenz |2 swd | |
| 650 | 7 | |a Logischer Schluss |2 swd | |
| 650 | 7 | |a Constraints (Artificial intelligence) |2 fast | |
| 650 | 7 | |a Reasoning |2 fast | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Constraints (Artificial intelligence) | |
| 650 | 4 | |a Reasoning | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logischer Schluss |0 (DE-588)4139983-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Logischer Schluss |0 (DE-588)4139983-3 |D s |
| 689 | 0 | 1 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Freuder, Eugene C. |e Sonstige |4 oth | |
| 700 | 1 | |a Mackworth, Alan K. |d 1945- |e Sonstige |0 (DE-588)141818115 |4 oth | |
| 856 | 4 | 0 | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267467 |x Verlag |3 Volltext |
| 912 | |a ZDB-37-IEM | ||
| 940 | 1 | |q ZDB-37-IEM_GB/15 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027943703 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267467 |l FHA01 |p ZDB-37-IEM |x Verlag |3 Volltext | |
| 966 | e | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267467 |l FHI01 |p ZDB-37-IEM |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804153253370265600 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)141818115 |
| building | Verbundindex |
| bvnumber | BV042509139 |
| collection | ZDB-37-IEM |
| ctrlnum | (OCoLC)827013085 (DE-599)BVBBV042509139 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| 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>02789nmm a2200685zc 4500</leader><controlfield tag="001">BV042509139</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190213 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150417s1994 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262288443</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-262-28844-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262560755</subfield><subfield code="9">0-262-56075-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262288446</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-262-28844-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262560757</subfield><subfield code="9">978-0-262-56075-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)827013085</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042509139</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Constraint-based reasoning</subfield><subfield code="c">edited by Eugene C. Freuder and Alan K. Mackworth</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (403 p.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"A Bradford book.". - Reprinted from Artificial intelligence, volume 58, numbers 1-3, 1992</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Contraintes (Intelligence artificielle)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Raisonnement</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kunstmatige intelligentie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Redeneren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Beperkingen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Intelligence artificielle</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Contraintes (intelligence artificielle)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Raisonnement</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logischer Schluss</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Constraints (Artificial intelligence)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Reasoning</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraints (Artificial intelligence)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><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">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Freuder, Eugene C.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mackworth, Alan K.</subfield><subfield code="d">1945-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)141818115</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267467</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-37-IEM</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-37-IEM_GB/15</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027943703</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\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><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267467</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-37-IEM</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267467</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-37-IEM</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV042509139 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:23:40Z |
| institution | BVB |
| isbn | 0262288443 0262560755 9780262288446 9780262560757 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027943703 |
| oclc_num | 827013085 |
| open_access_boolean | |
| owner | DE-Aug4 DE-573 |
| owner_facet | DE-Aug4 DE-573 |
| physical | 1 Online-Ressource (403 p.) |
| psigel | ZDB-37-IEM ZDB-37-IEM_GB/15 |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | MIT Press |
| record_format | marc |
| spelling | Constraint-based reasoning edited by Eugene C. Freuder and Alan K. Mackworth Cambridge, Mass. MIT Press 1994 1 Online-Ressource (403 p.) txt rdacontent c rdamedia cr rdacarrier "A Bradford book.". - Reprinted from Artificial intelligence, volume 58, numbers 1-3, 1992 Includes bibliographical references and index Contraintes (Intelligence artificielle) Raisonnement Kunstmatige intelligentie gtt Redeneren gtt Beperkingen gtt Intelligence artificielle ram Contraintes (intelligence artificielle) ram Raisonnement ram Aufsatzsammlung swd Künstliche Intelligenz swd Logischer Schluss swd Constraints (Artificial intelligence) fast Reasoning fast Künstliche Intelligenz Constraints (Artificial intelligence) Reasoning Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Logischer Schluss (DE-588)4139983-3 gnd rswk-swf 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content Logischer Schluss (DE-588)4139983-3 s Künstliche Intelligenz (DE-588)4033447-8 s 2\p DE-604 Freuder, Eugene C. Sonstige oth Mackworth, Alan K. 1945- Sonstige (DE-588)141818115 oth http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267467 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Constraint-based reasoning Contraintes (Intelligence artificielle) Raisonnement Kunstmatige intelligentie gtt Redeneren gtt Beperkingen gtt Intelligence artificielle ram Contraintes (intelligence artificielle) ram Raisonnement ram Aufsatzsammlung swd Künstliche Intelligenz swd Logischer Schluss swd Constraints (Artificial intelligence) fast Reasoning fast Künstliche Intelligenz Constraints (Artificial intelligence) Reasoning Künstliche Intelligenz (DE-588)4033447-8 gnd Logischer Schluss (DE-588)4139983-3 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4139983-3 (DE-588)4143413-4 |
| title | Constraint-based reasoning |
| title_auth | Constraint-based reasoning |
| title_exact_search | Constraint-based reasoning |
| title_full | Constraint-based reasoning edited by Eugene C. Freuder and Alan K. Mackworth |
| title_fullStr | Constraint-based reasoning edited by Eugene C. Freuder and Alan K. Mackworth |
| title_full_unstemmed | Constraint-based reasoning edited by Eugene C. Freuder and Alan K. Mackworth |
| title_short | Constraint-based reasoning |
| title_sort | constraint based reasoning |
| topic | Contraintes (Intelligence artificielle) Raisonnement Kunstmatige intelligentie gtt Redeneren gtt Beperkingen gtt Intelligence artificielle ram Contraintes (intelligence artificielle) ram Raisonnement ram Aufsatzsammlung swd Künstliche Intelligenz swd Logischer Schluss swd Constraints (Artificial intelligence) fast Reasoning fast Künstliche Intelligenz Constraints (Artificial intelligence) Reasoning Künstliche Intelligenz (DE-588)4033447-8 gnd Logischer Schluss (DE-588)4139983-3 gnd |
| topic_facet | Contraintes (Intelligence artificielle) Raisonnement Kunstmatige intelligentie Redeneren Beperkingen Intelligence artificielle Contraintes (intelligence artificielle) Aufsatzsammlung Künstliche Intelligenz Logischer Schluss Constraints (Artificial intelligence) Reasoning |
| url | http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267467 |
| work_keys_str_mv | AT freudereugenec constraintbasedreasoning AT mackworthalank constraintbasedreasoning |