Truth and modality for knowledge representation:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass.
MIT Press
1991
|
| Ausgabe: | 1. MIT Press ed. |
| Schriftenreihe: | Artificial intelligence
|
| Schlagworte: | |
| Beschreibung: | 119 S. |
| ISBN: | 0262200805 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004460166 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 910821s1991 |||| 00||| engod | ||
| 020 | |a 0262200805 |9 0-262-20080-5 | ||
| 035 | |a (OCoLC)22543358 | ||
| 035 | |a (DE-599)BVBBV004460166 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-355 |a DE-188 | ||
| 050 | 0 | |a Q387 | |
| 082 | 0 | |a 003/.54 |2 20 | |
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 100 | 1 | |a Turner, Raymond |d 1947- |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Truth and modality for knowledge representation |c Raymond Turner |
| 250 | |a 1. MIT Press ed. | ||
| 264 | 1 | |a Cambridge, Mass. |b MIT Press |c 1991 | |
| 300 | |a 119 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Artificial intelligence | |
| 650 | 4 | |a Intelligence artificielle | |
| 650 | 4 | |a Modalité (Théorie de la connaissance) | |
| 650 | 4 | |a Représentation des connaissances | |
| 650 | 4 | |a Vérité | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Knowledge representation (Information theory) | |
| 650 | 4 | |a Modality (Theory of knowledge) | |
| 650 | 4 | |a Truth | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 1 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 689 | 2 | 0 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 2 | 1 | |a Modallogik |0 (DE-588)4074914-9 |D s |
| 689 | 2 | |8 2\p |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002764865 | ||
| 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_ | 1804118629114970112 |
|---|---|
| any_adam_object | |
| author | Turner, Raymond 1947- |
| author_facet | Turner, Raymond 1947- |
| author_role | aut |
| author_sort | Turner, Raymond 1947- |
| author_variant | r t rt |
| building | Verbundindex |
| bvnumber | BV004460166 |
| callnumber-first | Q - Science |
| callnumber-label | Q387 |
| callnumber-raw | Q387 |
| callnumber-search | Q387 |
| callnumber-sort | Q 3387 |
| callnumber-subject | Q - General Science |
| classification_rvk | ST 285 |
| ctrlnum | (OCoLC)22543358 (DE-599)BVBBV004460166 |
| dewey-full | 003/.54 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 003 - Systems |
| dewey-raw | 003/.54 |
| dewey-search | 003/.54 |
| dewey-sort | 13 254 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. MIT Press ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02120nam a2200601 c 4500</leader><controlfield tag="001">BV004460166</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910821s1991 |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262200805</subfield><subfield code="9">0-262-20080-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22543358</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004460166</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-355</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q387</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003/.54</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="100" ind1="1" ind2=" "><subfield code="a">Turner, Raymond</subfield><subfield code="d">1947-</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Truth and modality for knowledge representation</subfield><subfield code="c">Raymond Turner</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. MIT Press ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">119 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="0" ind2=" "><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modalité (Théorie de la connaissance)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Représentation des connaissances</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Vérité</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">Knowledge representation (Information theory)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modality (Theory of knowledge)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Truth</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">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</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="650" ind1="0" ind2="7"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</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">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002764865</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> |
| id | DE-604.BV004460166 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:13:20Z |
| institution | BVB |
| isbn | 0262200805 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002764865 |
| oclc_num | 22543358 |
| open_access_boolean | |
| owner | DE-12 DE-355 DE-BY-UBR DE-188 |
| owner_facet | DE-12 DE-355 DE-BY-UBR DE-188 |
| physical | 119 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Artificial intelligence |
| spelling | Turner, Raymond 1947- Verfasser aut Truth and modality for knowledge representation Raymond Turner 1. MIT Press ed. Cambridge, Mass. MIT Press 1991 119 S. txt rdacontent n rdamedia nc rdacarrier Artificial intelligence Intelligence artificielle Modalité (Théorie de la connaissance) Représentation des connaissances Vérité Künstliche Intelligenz Knowledge representation (Information theory) Modality (Theory of knowledge) Truth Logik (DE-588)4036202-4 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Modallogik (DE-588)4074914-9 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 s Logik (DE-588)4036202-4 s DE-604 Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Modallogik (DE-588)4074914-9 s 2\p DE-604 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 | Turner, Raymond 1947- Truth and modality for knowledge representation Intelligence artificielle Modalité (Théorie de la connaissance) Représentation des connaissances Vérité Künstliche Intelligenz Artificial intelligence Knowledge representation (Information theory) Modality (Theory of knowledge) Truth Logik (DE-588)4036202-4 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Mathematische Logik (DE-588)4037951-6 gnd Modallogik (DE-588)4074914-9 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4049534-6 (DE-588)4037951-6 (DE-588)4074914-9 |
| title | Truth and modality for knowledge representation |
| title_auth | Truth and modality for knowledge representation |
| title_exact_search | Truth and modality for knowledge representation |
| title_full | Truth and modality for knowledge representation Raymond Turner |
| title_fullStr | Truth and modality for knowledge representation Raymond Turner |
| title_full_unstemmed | Truth and modality for knowledge representation Raymond Turner |
| title_short | Truth and modality for knowledge representation |
| title_sort | truth and modality for knowledge representation |
| topic | Intelligence artificielle Modalité (Théorie de la connaissance) Représentation des connaissances Vérité Künstliche Intelligenz Artificial intelligence Knowledge representation (Information theory) Modality (Theory of knowledge) Truth Logik (DE-588)4036202-4 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Mathematische Logik (DE-588)4037951-6 gnd Modallogik (DE-588)4074914-9 gnd |
| topic_facet | Intelligence artificielle Modalité (Théorie de la connaissance) Représentation des connaissances Vérité Künstliche Intelligenz Artificial intelligence Knowledge representation (Information theory) Modality (Theory of knowledge) Truth Logik Wissensrepräsentation Mathematische Logik Modallogik |
| work_keys_str_mv | AT turnerraymond truthandmodalityforknowledgerepresentation |