Theoretical aspects of reasoning about knowledge: proceedings of the Fifth Conference (TARK 1994)
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
San Francisco, Calif.
Morgan Kaufmann
©1994
|
| Schlagworte: | |
| Online-Zugang: | FAW01 URL des Erstveröffentlichers |
| Beschreibung: | "Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge, 1994, Pacific Grove, California, March 13 - 16, 1994." Includes bibliographical references Theoretical Aspects of Reasoning About Knowledge |
| Beschreibung: | 340 pages |
| ISBN: | 9781483214535 1483214532 155860331X 9781558603318 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044383656 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170630s1994 |||| o||u| ||||||eng d | ||
| 020 | |a 9781483214535 |9 978-1-4832-1453-5 | ||
| 020 | |a 1483214532 |9 1-4832-1453-2 | ||
| 020 | |a 155860331X |9 1-55860-331-X | ||
| 020 | |a 9781558603318 |9 978-1-55860-331-8 | ||
| 035 | |a (ZDB-33-ESD)ocm57360850 | ||
| 035 | |a (OCoLC)57360850 | ||
| 035 | |a (DE-599)BVBBV044383656 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 110 | 2 | |a Conference on Theoretical Aspects of Reasoning about Knowledge < 1994, Pacific Grove, Calif.> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Theoretical aspects of reasoning about knowledge |b proceedings of the Fifth Conference (TARK 1994) |c edited by Ronald Fagin |
| 246 | 1 | 3 | |a TARK 1994 |
| 246 | 1 | 3 | |a Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge |
| 264 | 1 | |a San Francisco, Calif. |b Morgan Kaufmann |c ©1994 | |
| 300 | |a 340 pages | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a "Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge, 1994, Pacific Grove, California, March 13 - 16, 1994." | ||
| 500 | |a Includes bibliographical references | ||
| 500 | |a Theoretical Aspects of Reasoning About Knowledge | ||
| 650 | 7 | |a COMPUTERS / General |2 bisacsh | |
| 650 | 7 | |a Artificial intelligence |2 fast | |
| 650 | 7 | |a Knowledge, Theory of |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence |v Congresses | |
| 650 | 4 | |a Knowledge, Theory of |v Congresses | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Fagin, Ronald |e Sonstige |4 oth | |
| 710 | 2 | |a ACM Digital Library |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9781483214535 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-33-ESD | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029785877 | ||
| 966 | e | |u http://www.sciencedirect.com/science/book/9781483214535 |l FAW01 |p ZDB-33-ESD |q FAW_PDA_ESD |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804177649028825088 |
|---|---|
| any_adam_object | |
| author_corporate | Conference on Theoretical Aspects of Reasoning about Knowledge < 1994, Pacific Grove, Calif.> |
| author_corporate_role | aut |
| author_facet | Conference on Theoretical Aspects of Reasoning about Knowledge < 1994, Pacific Grove, Calif.> |
| author_sort | Conference on Theoretical Aspects of Reasoning about Knowledge < 1994, Pacific Grove, Calif.> |
| building | Verbundindex |
| bvnumber | BV044383656 |
| collection | ZDB-33-ESD |
| ctrlnum | (ZDB-33-ESD)ocm57360850 (OCoLC)57360850 (DE-599)BVBBV044383656 |
| 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 | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02299nmm a2200541zc 4500</leader><controlfield tag="001">BV044383656</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170630s1994 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781483214535</subfield><subfield code="9">978-1-4832-1453-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1483214532</subfield><subfield code="9">1-4832-1453-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">155860331X</subfield><subfield code="9">1-55860-331-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781558603318</subfield><subfield code="9">978-1-55860-331-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-ESD)ocm57360850</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)57360850</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044383656</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Conference on Theoretical Aspects of Reasoning about Knowledge < 1994, Pacific Grove, Calif.></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretical aspects of reasoning about knowledge</subfield><subfield code="b">proceedings of the Fifth Conference (TARK 1994)</subfield><subfield code="c">edited by Ronald Fagin</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">TARK 1994</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">San Francisco, Calif.</subfield><subfield code="b">Morgan Kaufmann</subfield><subfield code="c">©1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">340 pages</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge, 1994, Pacific Grove, California, March 13 - 16, 1994."</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Theoretical Aspects of Reasoning About Knowledge</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Artificial intelligence</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Knowledge, Theory of</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</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><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Knowledge, Theory of</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fagin, Ronald</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ACM Digital Library</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9781483214535</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029785877</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9781483214535</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044383656 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:51:26Z |
| institution | BVB |
| isbn | 9781483214535 1483214532 155860331X 9781558603318 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029785877 |
| oclc_num | 57360850 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 340 pages |
| psigel | ZDB-33-ESD ZDB-33-ESD FAW_PDA_ESD |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Morgan Kaufmann |
| record_format | marc |
| spelling | Conference on Theoretical Aspects of Reasoning about Knowledge < 1994, Pacific Grove, Calif.> Verfasser aut Theoretical aspects of reasoning about knowledge proceedings of the Fifth Conference (TARK 1994) edited by Ronald Fagin TARK 1994 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge San Francisco, Calif. Morgan Kaufmann ©1994 340 pages txt rdacontent c rdamedia cr rdacarrier "Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge, 1994, Pacific Grove, California, March 13 - 16, 1994." Includes bibliographical references Theoretical Aspects of Reasoning About Knowledge COMPUTERS / General bisacsh Artificial intelligence fast Knowledge, Theory of fast Logic, Symbolic and mathematical fast Künstliche Intelligenz Artificial intelligence Congresses Knowledge, Theory of Congresses Logic, Symbolic and mathematical Congresses (DE-588)1071861417 Konferenzschrift gnd-content Fagin, Ronald Sonstige oth ACM Digital Library Sonstige oth http://www.sciencedirect.com/science/book/9781483214535 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Theoretical aspects of reasoning about knowledge proceedings of the Fifth Conference (TARK 1994) COMPUTERS / General bisacsh Artificial intelligence fast Knowledge, Theory of fast Logic, Symbolic and mathematical fast Künstliche Intelligenz Artificial intelligence Congresses Knowledge, Theory of Congresses Logic, Symbolic and mathematical Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Theoretical aspects of reasoning about knowledge proceedings of the Fifth Conference (TARK 1994) |
| title_alt | TARK 1994 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge |
| title_auth | Theoretical aspects of reasoning about knowledge proceedings of the Fifth Conference (TARK 1994) |
| title_exact_search | Theoretical aspects of reasoning about knowledge proceedings of the Fifth Conference (TARK 1994) |
| title_full | Theoretical aspects of reasoning about knowledge proceedings of the Fifth Conference (TARK 1994) edited by Ronald Fagin |
| title_fullStr | Theoretical aspects of reasoning about knowledge proceedings of the Fifth Conference (TARK 1994) edited by Ronald Fagin |
| title_full_unstemmed | Theoretical aspects of reasoning about knowledge proceedings of the Fifth Conference (TARK 1994) edited by Ronald Fagin |
| title_short | Theoretical aspects of reasoning about knowledge |
| title_sort | theoretical aspects of reasoning about knowledge proceedings of the fifth conference tark 1994 |
| title_sub | proceedings of the Fifth Conference (TARK 1994) |
| topic | COMPUTERS / General bisacsh Artificial intelligence fast Knowledge, Theory of fast Logic, Symbolic and mathematical fast Künstliche Intelligenz Artificial intelligence Congresses Knowledge, Theory of Congresses Logic, Symbolic and mathematical Congresses |
| topic_facet | COMPUTERS / General Artificial intelligence Knowledge, Theory of Logic, Symbolic and mathematical Künstliche Intelligenz Artificial intelligence Congresses Knowledge, Theory of Congresses Logic, Symbolic and mathematical Congresses Konferenzschrift |
| url | http://www.sciencedirect.com/science/book/9781483214535 |
| work_keys_str_mv | AT conferenceontheoreticalaspectsofreasoningaboutknowledge1994pacificgrovecalif theoreticalaspectsofreasoningaboutknowledgeproceedingsofthefifthconferencetark1994 AT faginronald theoreticalaspectsofreasoningaboutknowledgeproceedingsofthefifthconferencetark1994 AT acmdigitallibrary theoreticalaspectsofreasoningaboutknowledgeproceedingsofthefifthconferencetark1994 AT conferenceontheoreticalaspectsofreasoningaboutknowledge1994pacificgrovecalif tark1994 AT faginronald tark1994 AT acmdigitallibrary tark1994 AT conferenceontheoreticalaspectsofreasoningaboutknowledge1994pacificgrovecalif proceedingsofthe5thconferenceontheoreticalaspectsofreasoningaboutknowledge AT faginronald proceedingsofthe5thconferenceontheoreticalaspectsofreasoningaboutknowledge AT acmdigitallibrary proceedingsofthe5thconferenceontheoreticalaspectsofreasoningaboutknowledge |