Logical foundations of artificial intelligence:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Palo Alto, Ca.
Kaufmann
1988
|
| Ausgabe: | Repr. with corr. |
| Schlagworte: | |
| Beschreibung: | XVIII, 405 S. graph. Darst. |
| ISBN: | 0934613311 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008113171 | ||
| 003 | DE-604 | ||
| 005 | 20040209 | ||
| 007 | t | ||
| 008 | 930712s1988 d||| |||| 00||| eng d | ||
| 020 | |a 0934613311 |9 0-934613-31-1 | ||
| 035 | |a (OCoLC)18537594 | ||
| 035 | |a (DE-599)BVBBV008113171 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-20 |a DE-29T |a DE-91G |a DE-19 |a DE-522 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a Q335 | |
| 082 | 0 | |a 006.3 |b G327L | |
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a DAT 700f |2 stub | ||
| 100 | 1 | |a Genesereth, Michael R. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logical foundations of artificial intelligence |c Michael R. Genesereth and Nils J. Nilsson |
| 250 | |a Repr. with corr. | ||
| 264 | 1 | |a Palo Alto, Ca. |b Kaufmann |c 1988 | |
| 300 | |a XVIII, 405 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-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 Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 2 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Nilsson, Nils J. |d 1933-2019 |e Verfasser |0 (DE-588)11005248X |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005346157 | ||
Datensatz im Suchindex
| _version_ | 1804122487592583168 |
|---|---|
| any_adam_object | |
| author | Genesereth, Michael R. Nilsson, Nils J. 1933-2019 |
| author_GND | (DE-588)11005248X |
| author_facet | Genesereth, Michael R. Nilsson, Nils J. 1933-2019 |
| author_role | aut aut |
| author_sort | Genesereth, Michael R. |
| author_variant | m r g mr mrg n j n nj njn |
| building | Verbundindex |
| bvnumber | BV008113171 |
| 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 |
| classification_tum | DAT 540f DAT 700f |
| ctrlnum | (OCoLC)18537594 (DE-599)BVBBV008113171 |
| 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 | Repr. with corr. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01705nam a2200493 c 4500</leader><controlfield tag="001">BV008113171</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040209 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930712s1988 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0934613311</subfield><subfield code="9">0-934613-31-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)18537594</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008113171</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-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-522</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="b">G327L</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">DAT 540f</subfield><subfield code="2">stub</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">Genesereth, Michael R.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logical foundations of artificial intelligence</subfield><subfield code="c">Michael R. Genesereth and Nils J. Nilsson</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Repr. with corr.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Palo Alto, Ca.</subfield><subfield code="b">Kaufmann</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 405 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="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">Logik</subfield><subfield code="0">(DE-588)4036202-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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nilsson, Nils J.</subfield><subfield code="d">1933-2019</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)11005248X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005346157</subfield></datafield></record></collection> |
| id | DE-604.BV008113171 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:14:40Z |
| institution | BVB |
| isbn | 0934613311 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005346157 |
| oclc_num | 18537594 |
| open_access_boolean | |
| owner | DE-20 DE-29T DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-522 DE-11 DE-188 |
| owner_facet | DE-20 DE-29T DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-522 DE-11 DE-188 |
| physical | XVIII, 405 S. graph. Darst. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | Kaufmann |
| record_format | marc |
| spelling | Genesereth, Michael R. Verfasser aut Logical foundations of artificial intelligence Michael R. Genesereth and Nils J. Nilsson Repr. with corr. Palo Alto, Ca. Kaufmann 1988 XVIII, 405 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Künstliche Intelligenz Artificial intelligence Logik (DE-588)4036202-4 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 s Logik (DE-588)4036202-4 s DE-604 Mathematische Logik (DE-588)4037951-6 s Nilsson, Nils J. 1933-2019 Verfasser (DE-588)11005248X aut |
| spellingShingle | Genesereth, Michael R. Nilsson, Nils J. 1933-2019 Logical foundations of artificial intelligence Künstliche Intelligenz Artificial intelligence Logik (DE-588)4036202-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4033447-8 (DE-588)4037951-6 |
| title | Logical foundations of artificial intelligence |
| title_auth | Logical foundations of artificial intelligence |
| title_exact_search | Logical foundations of artificial intelligence |
| title_full | Logical foundations of artificial intelligence Michael R. Genesereth and Nils J. Nilsson |
| title_fullStr | Logical foundations of artificial intelligence Michael R. Genesereth and Nils J. Nilsson |
| title_full_unstemmed | Logical foundations of artificial intelligence Michael R. Genesereth and Nils J. Nilsson |
| title_short | Logical foundations of artificial intelligence |
| title_sort | logical foundations of artificial intelligence |
| topic | Künstliche Intelligenz Artificial intelligence Logik (DE-588)4036202-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Künstliche Intelligenz Artificial intelligence Logik Mathematische Logik |
| work_keys_str_mv | AT geneserethmichaelr logicalfoundationsofartificialintelligence AT nilssonnilsj logicalfoundationsofartificialintelligence |