AI and expertise: heuristic search, inference engines, automatic proving
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English French |
| Published: |
Chichester u.a.
Horwood u.a.
1989
|
| Edition: | 1. publ. |
| Series: | Ellis Horwood series in artificial intelligence
|
| Subjects: | |
| Physical Description: | 260 S. graph. Darst. |
| ISBN: | 0745804268 0470213841 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002117584 | ||
| 003 | DE-604 | ||
| 005 | 20150916 | ||
| 007 | t | ||
| 008 | 891026s1989 d||| |||| 00||| eng d | ||
| 020 | |a 0745804268 |9 0-7458-0426-8 | ||
| 020 | |a 0470213841 |9 0-470-21384-1 | ||
| 035 | |a (OCoLC)18779774 | ||
| 035 | |a (DE-599)BVBBV002117584 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 1 | |a eng |h fre | |
| 049 | |a DE-91G |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a Q335 | |
| 082 | 0 | |a 006.3 |2 19 | |
| 084 | |a ST 304 |0 (DE-625)143653: |2 rvk | ||
| 084 | |a DAT 700f |2 stub | ||
| 100 | 1 | |a Farreny, Henri |e Verfasser |4 aut | |
| 240 | 1 | 0 | |a Exercices programmes d'intelligence artificielle |
| 245 | 1 | 0 | |a AI and expertise |b heuristic search, inference engines, automatic proving |c Henri Farreny |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Chichester u.a. |b Horwood u.a. |c 1989 | |
| 300 | |a 260 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Ellis Horwood series in artificial intelligence | |
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 7 | |a Probleemoplossing |2 gtt | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Heuristic programming | |
| 650 | 4 | |a Problem solving | |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Problemlösen |0 (DE-588)4076358-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Expertensystem |0 (DE-588)4113491-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Expertensystem |0 (DE-588)4113491-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Problemlösen |0 (DE-588)4076358-4 |D s |
| 689 | 2 | 1 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 2 | |8 1\p |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001388771 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804116571516305408 |
|---|---|
| any_adam_object | |
| author | Farreny, Henri |
| author_facet | Farreny, Henri |
| author_role | aut |
| author_sort | Farreny, Henri |
| author_variant | h f hf |
| building | Verbundindex |
| bvnumber | BV002117584 |
| callnumber-first | Q - Science |
| callnumber-label | Q335 |
| callnumber-raw | Q335 |
| callnumber-search | Q335 |
| callnumber-sort | Q 3335 |
| callnumber-subject | Q - General Science |
| classification_rvk | ST 304 |
| classification_tum | DAT 700f |
| ctrlnum | (OCoLC)18779774 (DE-599)BVBBV002117584 |
| 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 |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02002nam a2200565 c 4500</leader><controlfield tag="001">BV002117584</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150916 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">891026s1989 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0745804268</subfield><subfield code="9">0-7458-0426-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0470213841</subfield><subfield code="9">0-470-21384-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)18779774</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002117584</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="1" ind2=" "><subfield code="a">eng</subfield><subfield code="h">fre</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q335</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 304</subfield><subfield code="0">(DE-625)143653:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 700f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Farreny, Henri</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Exercices programmes d'intelligence artificielle</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">AI and expertise</subfield><subfield code="b">heuristic search, inference engines, automatic proving</subfield><subfield code="c">Henri Farreny</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Chichester u.a.</subfield><subfield code="b">Horwood u.a.</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">260 S.</subfield><subfield code="b">graph. Darst.</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="0" ind2=" "><subfield code="a">Ellis Horwood series in artificial intelligence</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">Probleemoplossing</subfield><subfield code="2">gtt</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">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Heuristic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Problem solving</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Problemlösen</subfield><subfield code="0">(DE-588)4076358-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Expertensystem</subfield><subfield code="0">(DE-588)4113491-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Expertensystem</subfield><subfield code="0">(DE-588)4113491-6</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">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Problemlösen</subfield><subfield code="0">(DE-588)4076358-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" 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="2" 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-001388771</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.BV002117584 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:40:38Z |
| institution | BVB |
| isbn | 0745804268 0470213841 |
| language | English French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001388771 |
| oclc_num | 18779774 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-83 DE-11 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-83 DE-11 DE-188 |
| physical | 260 S. graph. Darst. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Horwood u.a. |
| record_format | marc |
| series2 | Ellis Horwood series in artificial intelligence |
| spelling | Farreny, Henri Verfasser aut Exercices programmes d'intelligence artificielle AI and expertise heuristic search, inference engines, automatic proving Henri Farreny 1. publ. Chichester u.a. Horwood u.a. 1989 260 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Ellis Horwood series in artificial intelligence Kunstmatige intelligentie gtt Probleemoplossing gtt Künstliche Intelligenz Artificial intelligence Heuristic programming Problem solving Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Problemlösen (DE-588)4076358-4 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Expertensystem (DE-588)4113491-6 gnd rswk-swf Expertensystem (DE-588)4113491-6 s DE-604 Automatisches Beweisverfahren (DE-588)4069034-9 s Problemlösen (DE-588)4076358-4 s Künstliche Intelligenz (DE-588)4033447-8 s 1\p DE-604 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Farreny, Henri AI and expertise heuristic search, inference engines, automatic proving Kunstmatige intelligentie gtt Probleemoplossing gtt Künstliche Intelligenz Artificial intelligence Heuristic programming Problem solving Automatisches Beweisverfahren (DE-588)4069034-9 gnd Problemlösen (DE-588)4076358-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Expertensystem (DE-588)4113491-6 gnd |
| subject_GND | (DE-588)4069034-9 (DE-588)4076358-4 (DE-588)4033447-8 (DE-588)4113491-6 |
| title | AI and expertise heuristic search, inference engines, automatic proving |
| title_alt | Exercices programmes d'intelligence artificielle |
| title_auth | AI and expertise heuristic search, inference engines, automatic proving |
| title_exact_search | AI and expertise heuristic search, inference engines, automatic proving |
| title_full | AI and expertise heuristic search, inference engines, automatic proving Henri Farreny |
| title_fullStr | AI and expertise heuristic search, inference engines, automatic proving Henri Farreny |
| title_full_unstemmed | AI and expertise heuristic search, inference engines, automatic proving Henri Farreny |
| title_short | AI and expertise |
| title_sort | ai and expertise heuristic search inference engines automatic proving |
| title_sub | heuristic search, inference engines, automatic proving |
| topic | Kunstmatige intelligentie gtt Probleemoplossing gtt Künstliche Intelligenz Artificial intelligence Heuristic programming Problem solving Automatisches Beweisverfahren (DE-588)4069034-9 gnd Problemlösen (DE-588)4076358-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Expertensystem (DE-588)4113491-6 gnd |
| topic_facet | Kunstmatige intelligentie Probleemoplossing Künstliche Intelligenz Artificial intelligence Heuristic programming Problem solving Automatisches Beweisverfahren Problemlösen Expertensystem |
| work_keys_str_mv | AT farrenyhenri exercicesprogrammesdintelligenceartificielle AT farrenyhenri aiandexpertiseheuristicsearchinferenceenginesautomaticproving |