The synthesis of digital machines with provable epistemic properties:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Stanford, CA
CSLI
1987
|
| Schriftenreihe: | Report / Center for the Study of Language and Information
83 |
| Schlagworte: | |
| Beschreibung: | 38 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV014165941 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 020225s1987 |||| 00||| eng d | ||
| 035 | |a (OCoLC)17545925 | ||
| 035 | |a (DE-599)BVBBV014165941 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 050 | 0 | |a TJ211 | |
| 082 | 0 | |a 006.3 |2 19 | |
| 088 | |a CSLI 87 83 | ||
| 100 | 1 | |a Rosenschein, Stanley J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The synthesis of digital machines with provable epistemic properties |c Stanley J. Rosenschein and Leslie Pack Kaelbling |
| 264 | 1 | |a Stanford, CA |b CSLI |c 1987 | |
| 300 | |a 38 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Report / Center for the Study of Language and Information |v 83 | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Robotics | |
| 700 | 1 | |a Kaelbling, Leslie Pack |e Verfasser |4 aut | |
| 810 | 2 | |a Center for the Study of Language and Information |t Report |v 83 |w (DE-604)BV000902395 |9 83 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009710056 | ||
Datensatz im Suchindex
| _version_ | 1804129043537199104 |
|---|---|
| any_adam_object | |
| author | Rosenschein, Stanley J. Kaelbling, Leslie Pack |
| author_facet | Rosenschein, Stanley J. Kaelbling, Leslie Pack |
| author_role | aut aut |
| author_sort | Rosenschein, Stanley J. |
| author_variant | s j r sj sjr l p k lp lpk |
| building | Verbundindex |
| bvnumber | BV014165941 |
| callnumber-first | T - Technology |
| callnumber-label | TJ211 |
| callnumber-raw | TJ211 |
| callnumber-search | TJ211 |
| callnumber-sort | TJ 3211 |
| callnumber-subject | TJ - Mechanical Engineering and Machinery |
| ctrlnum | (OCoLC)17545925 (DE-599)BVBBV014165941 |
| 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>01160nam a2200361 cb4500</leader><controlfield tag="001">BV014165941</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020225s1987 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)17545925</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014165941</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TJ211</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">19</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">CSLI 87 83</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rosenschein, Stanley J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The synthesis of digital machines with provable epistemic properties</subfield><subfield code="c">Stanley J. Rosenschein and Leslie Pack Kaelbling</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, CA</subfield><subfield code="b">CSLI</subfield><subfield code="c">1987</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">38 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">Report / Center for the Study of Language and Information</subfield><subfield code="v">83</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">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Robotics</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kaelbling, Leslie Pack</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Center for the Study of Language and Information</subfield><subfield code="t">Report</subfield><subfield code="v">83</subfield><subfield code="w">(DE-604)BV000902395</subfield><subfield code="9">83</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009710056</subfield></datafield></record></collection> |
| id | DE-604.BV014165941 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:58:52Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009710056 |
| oclc_num | 17545925 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 38 S. |
| publishDate | 1987 |
| publishDateSearch | 1987 |
| publishDateSort | 1987 |
| publisher | CSLI |
| record_format | marc |
| series2 | Report / Center for the Study of Language and Information |
| spelling | Rosenschein, Stanley J. Verfasser aut The synthesis of digital machines with provable epistemic properties Stanley J. Rosenschein and Leslie Pack Kaelbling Stanford, CA CSLI 1987 38 S. txt rdacontent n rdamedia nc rdacarrier Report / Center for the Study of Language and Information 83 Künstliche Intelligenz Artificial intelligence Logic design Robotics Kaelbling, Leslie Pack Verfasser aut Center for the Study of Language and Information Report 83 (DE-604)BV000902395 83 |
| spellingShingle | Rosenschein, Stanley J. Kaelbling, Leslie Pack The synthesis of digital machines with provable epistemic properties Künstliche Intelligenz Artificial intelligence Logic design Robotics |
| title | The synthesis of digital machines with provable epistemic properties |
| title_auth | The synthesis of digital machines with provable epistemic properties |
| title_exact_search | The synthesis of digital machines with provable epistemic properties |
| title_full | The synthesis of digital machines with provable epistemic properties Stanley J. Rosenschein and Leslie Pack Kaelbling |
| title_fullStr | The synthesis of digital machines with provable epistemic properties Stanley J. Rosenschein and Leslie Pack Kaelbling |
| title_full_unstemmed | The synthesis of digital machines with provable epistemic properties Stanley J. Rosenschein and Leslie Pack Kaelbling |
| title_short | The synthesis of digital machines with provable epistemic properties |
| title_sort | the synthesis of digital machines with provable epistemic properties |
| topic | Künstliche Intelligenz Artificial intelligence Logic design Robotics |
| topic_facet | Künstliche Intelligenz Artificial intelligence Logic design Robotics |
| volume_link | (DE-604)BV000902395 |
| work_keys_str_mv | AT rosenscheinstanleyj thesynthesisofdigitalmachineswithprovableepistemicproperties AT kaelblinglesliepack thesynthesisofdigitalmachineswithprovableepistemicproperties |