Formal techniques in artificial intelligence: a sourcebook
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Amsterdam u.a.
North-Holland
1990
|
| Series: | Studies in computer science and artificial intelligence
6 |
| Subjects: | |
| Item Description: | Literaturverz. S. 410 - 424 |
| Physical Description: | XI, 437 S. Ill. |
| ISBN: | 0444881301 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002622398 | ||
| 003 | DE-604 | ||
| 005 | 19961212 | ||
| 007 | t | ||
| 008 | 900504s1990 a||| |||| 00||| eng d | ||
| 020 | |a 0444881301 |9 0-444-88130-1 | ||
| 035 | |a (OCoLC)20418737 | ||
| 035 | |a (DE-599)BVBBV002622398 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-19 |a DE-384 |a DE-739 |a DE-355 |a DE-20 |a DE-29T |a DE-522 |a DE-634 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a Q335 | |
| 082 | 0 | |a 006.3 |2 20 | |
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 084 | |a DAT 700f |2 stub | ||
| 245 | 1 | 0 | |a Formal techniques in artificial intelligence |b a sourcebook |c ed. by Ranan B. Banerji |
| 264 | 1 | |a Amsterdam u.a. |b North-Holland |c 1990 | |
| 300 | |a XI, 437 S. |b Ill. | ||
| 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 | |
| 500 | |a Literaturverz. S. 410 - 424 | ||
| 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 Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Methode |0 (DE-588)4038971-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |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 | |5 DE-604 | |
| 689 | 1 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | 1 | |a Methode |0 (DE-588)4038971-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Banerji, Ranan Bihari |d 1928- |e Sonstige |0 (DE-588)17196490X |4 oth | |
| 830 | 0 | |a Studies in computer science and artificial intelligence |v 6 |w (DE-604)BV000021192 |9 6 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001685219 | ||
Record in the Search Index
| _version_ | 1804117006531690496 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)17196490X |
| building | Verbundindex |
| bvnumber | BV002622398 |
| 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 285 ST 300 |
| classification_tum | DAT 700f |
| ctrlnum | (OCoLC)20418737 (DE-599)BVBBV002622398 |
| 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 | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02168nam a2200589 cb4500</leader><controlfield tag="001">BV002622398</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19961212 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900504s1990 a||| |||| 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)BVBBV002622398</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-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</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">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 285</subfield><subfield code="0">(DE-625)143648:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</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="245" ind1="1" ind2="0"><subfield code="a">Formal techniques in artificial intelligence</subfield><subfield code="b">a sourcebook</subfield><subfield code="c">ed. by Ranan B. Banerji</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><subfield code="b">Ill.</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="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 410 - 424</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">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">Methode</subfield><subfield code="0">(DE-588)4038971-6</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">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="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Banerji, Ranan Bihari</subfield><subfield code="d">1928-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)17196490X</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">6</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001685219</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV002622398 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:47:32Z |
| institution | BVB |
| isbn | 0444881301 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001685219 |
| oclc_num | 20418737 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-739 DE-355 DE-BY-UBR DE-20 DE-29T DE-522 DE-634 DE-83 DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-739 DE-355 DE-BY-UBR DE-20 DE-29T DE-522 DE-634 DE-83 DE-188 |
| physical | XI, 437 S. Ill. |
| 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 ed. by Ranan B. Banerji Amsterdam u.a. North-Holland 1990 XI, 437 S. Ill. txt rdacontent n rdamedia nc rdacarrier Studies in computer science and artificial intelligence 6 Literaturverz. S. 410 - 424 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 Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Methode (DE-588)4038971-6 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Methode (DE-588)4038971-6 s Banerji, Ranan Bihari 1928- Sonstige (DE-588)17196490X oth Studies in computer science and artificial intelligence 6 (DE-604)BV000021192 6 |
| 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 Künstliche Intelligenz (DE-588)4033447-8 gnd Methode (DE-588)4038971-6 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4038971-6 (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_full | Formal techniques in artificial intelligence a sourcebook ed. by Ranan B. Banerji |
| title_fullStr | Formal techniques in artificial intelligence a sourcebook ed. by Ranan B. Banerji |
| title_full_unstemmed | Formal techniques in artificial intelligence a sourcebook ed. by Ranan B. Banerji |
| 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 Künstliche Intelligenz (DE-588)4033447-8 gnd Methode (DE-588)4038971-6 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 banerjirananbihari formaltechniquesinartificialintelligenceasourcebook |