Formal techniques in artificial intelligence: a sourcebook
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
North-Holland
1990
|
| Schriftenreihe: | Studies in computer science and artificial intelligence
6 |
| Schlagworte: | |
| Beschreibung: | XI, 437 S. |
| ISBN: | 0444881301 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV022180759 | ||
| 003 | DE-604 | ||
| 005 | 20060630000000.0 | ||
| 007 | t | ||
| 008 | 901004s1990 |||| 00||| eng d | ||
| 020 | |a 0444881301 |9 0-444-88130-1 | ||
| 035 | |a (OCoLC)20418737 | ||
| 035 | |a (DE-599)BVBBV022180759 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 050 | 0 | |a Q335 | |
| 082 | 0 | |a 006.3 |2 20 | |
| 245 | 1 | 0 | |a Formal techniques in artificial intelligence |b a sourcebook |
| 264 | 1 | |a Amsterdam [u.a.] |b North-Holland |c 1990 | |
| 300 | |a XI, 437 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in computer science and artificial intelligence |v 6 | |
| 650 | 4 | |a Intelligence artificielle | |
| 650 | 7 | |a Intelligence artificielle |2 ram | |
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 7 | |a apprentissage |2 inriac | |
| 650 | 7 | |a base donnée médicale |2 inriac | |
| 650 | 7 | |a démonstration théorème |2 inriac | |
| 650 | 7 | |a intelligence artificielle |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a réseau neuronal |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 0 | 7 | |a Methode |0 (DE-588)4038971-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Methode |0 (DE-588)4038971-6 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Banerji, Ranan B. |e Sonstige |4 oth | |
| 830 | 0 | |a Studies in computer science and artificial intelligence |v 6 |w (DE-604)BV000021192 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015395508 | ||
| 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 | |
Datensatz im Suchindex
| _version_ | 1804136156194930688 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| building | Verbundindex |
| bvnumber | BV022180759 |
| callnumber-first | Q - Science |
| callnumber-label | Q335 |
| callnumber-raw | Q335 |
| callnumber-search | Q335 |
| callnumber-sort | Q 3335 |
| callnumber-subject | Q - General Science |
| ctrlnum | (OCoLC)20418737 (DE-599)BVBBV022180759 |
| 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 |
| discipline_str_mv | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01948nam a2200541zcb4500</leader><controlfield tag="001">BV022180759</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060630000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">901004s1990 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444881301</subfield><subfield code="9">0-444-88130-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)20418737</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022180759</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</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></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">20</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal techniques in artificial intelligence</subfield><subfield code="b">a sourcebook</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 437 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="490" ind1="1" ind2=" "><subfield code="a">Studies in computer science and artificial intelligence</subfield><subfield code="v">6</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle</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">Kunstmatige intelligentie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">apprentissage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">base donnée médicale</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">démonstration théorème</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">intelligence artificielle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réseau neuronal</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="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="0" ind2="7"><subfield code="a">Methode</subfield><subfield code="0">(DE-588)4038971-6</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="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">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Methode</subfield><subfield code="0">(DE-588)4038971-6</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">Banerji, Ranan B.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in computer science and artificial intelligence</subfield><subfield code="v">6</subfield><subfield code="w">(DE-604)BV000021192</subfield><subfield code="9"></subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015395508</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></record></collection> |
| genre | 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV022180759 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:20:31Z |
| indexdate | 2024-07-09T20:51:55Z |
| institution | BVB |
| isbn | 0444881301 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015395508 |
| oclc_num | 20418737 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | XI, 437 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | North-Holland |
| record_format | marc |
| series | Studies in computer science and artificial intelligence |
| series2 | Studies in computer science and artificial intelligence |
| spelling | Formal techniques in artificial intelligence a sourcebook Amsterdam [u.a.] North-Holland 1990 XI, 437 S. txt rdacontent n rdamedia nc rdacarrier Studies in computer science and artificial intelligence 6 Intelligence artificielle Intelligence artificielle ram Kunstmatige intelligentie gtt apprentissage inriac base donnée médicale inriac démonstration théorème inriac intelligence artificielle inriac méthode formelle inriac réseau neuronal inriac réécriture inriac Künstliche Intelligenz Artificial intelligence Methode (DE-588)4038971-6 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content Künstliche Intelligenz (DE-588)4033447-8 s Methode (DE-588)4038971-6 s 2\p DE-604 Banerji, Ranan B. Sonstige oth Studies in computer science and artificial intelligence 6 (DE-604)BV000021192 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 | Formal techniques in artificial intelligence a sourcebook Studies in computer science and artificial intelligence Intelligence artificielle Intelligence artificielle ram Kunstmatige intelligentie gtt apprentissage inriac base donnée médicale inriac démonstration théorème inriac intelligence artificielle inriac méthode formelle inriac réseau neuronal inriac réécriture inriac Künstliche Intelligenz Artificial intelligence Methode (DE-588)4038971-6 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4038971-6 (DE-588)4033447-8 (DE-588)4143413-4 |
| title | Formal techniques in artificial intelligence a sourcebook |
| title_auth | Formal techniques in artificial intelligence a sourcebook |
| title_exact_search | Formal techniques in artificial intelligence a sourcebook |
| title_exact_search_txtP | Formal techniques in artificial intelligence a sourcebook |
| title_full | Formal techniques in artificial intelligence a sourcebook |
| title_fullStr | Formal techniques in artificial intelligence a sourcebook |
| title_full_unstemmed | Formal techniques in artificial intelligence a sourcebook |
| title_short | Formal techniques in artificial intelligence |
| title_sort | formal techniques in artificial intelligence a sourcebook |
| title_sub | a sourcebook |
| topic | Intelligence artificielle Intelligence artificielle ram Kunstmatige intelligentie gtt apprentissage inriac base donnée médicale inriac démonstration théorème inriac intelligence artificielle inriac méthode formelle inriac réseau neuronal inriac réécriture inriac Künstliche Intelligenz Artificial intelligence Methode (DE-588)4038971-6 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Intelligence artificielle Kunstmatige intelligentie apprentissage base donnée médicale démonstration théorème intelligence artificielle méthode formelle réseau neuronal réécriture Künstliche Intelligenz Artificial intelligence Methode Aufsatzsammlung |
| volume_link | (DE-604)BV000021192 |
| work_keys_str_mv | AT banerjirananb formaltechniquesinartificialintelligenceasourcebook |