The logic system of concept graphs with negation: and its relationship to predicate logic
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
2003
|
| Schriftenreihe: | Lecture notes in computer science
2892 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | XI, 213 S. |
| ISBN: | 3540206078 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV017701497 | ||
| 003 | DE-604 | ||
| 005 | 20040206 | ||
| 007 | t| | ||
| 008 | 031202s2003 xxu |||| 00||| eng d | ||
| 010 | |a 2003065504 | ||
| 020 | |a 3540206078 |9 3-540-20607-8 | ||
| 035 | |a (OCoLC)53483608 | ||
| 035 | |a (DE-599)BVBBV017701497 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-384 |a DE-91G |a DE-706 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a Q387.2 | |
| 082 | 0 | |a 003/.54 |2 22 | |
| 084 | |a 03B40 |2 msc | ||
| 084 | |a MAT 055f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 100 | 1 | |a Dau, Frithjof |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The logic system of concept graphs with negation |b and its relationship to predicate logic |c Frithjof Dau |
| 264 | 1 | |a Berlin u.a. |b Springer |c 2003 | |
| 300 | |a XI, 213 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2892 : Lecture notes in artificial intelligence | |
| 500 | |a Includes bibliographical references and index | ||
| 650 | 7 | |a Graphe |2 rasuqam | |
| 650 | 4 | |a Graphes, Théorie des | |
| 650 | 7 | |a Jugement (Logique) |2 rasuqam | |
| 650 | 4 | |a Logigrammes | |
| 650 | 7 | |a Négation (Logique) |2 rasuqam | |
| 650 | 7 | |a Prédicat (Logique) |2 rasuqam | |
| 650 | 4 | |a Représentation des connaissances | |
| 650 | 7 | |a Structure conceptuelle |2 rasuqam | |
| 650 | 4 | |a Structures conceptuelles | |
| 650 | 4 | |a Conceptual structures (Information theory) | |
| 650 | 4 | |a Graph theory | |
| 650 | 4 | |a Knowledge representation (Information theory) | |
| 650 | 4 | |a Logic diagrams | |
| 650 | 0 | 7 | |a Graphentheorie |0 (DE-588)4113782-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Negation |0 (DE-588)4137553-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Begriffsgraph |0 (DE-588)4314945-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Begriffsgraph |0 (DE-588)4314945-5 |D s |
| 689 | 0 | 1 | |a Negation |0 (DE-588)4137553-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Begriffsgraph |0 (DE-588)4314945-5 |D s |
| 689 | 1 | 1 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Begriffsgraph |0 (DE-588)4314945-5 |D s |
| 689 | 2 | 1 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Begriffsgraph |0 (DE-588)4314945-5 |D s |
| 689 | 3 | 1 | |a Graphentheorie |0 (DE-588)4113782-6 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Begriffsgraph |0 (DE-588)4314945-5 |D s |
| 689 | 4 | |5 DE-604 | |
| 830 | 0 | |a Lecture notes in computer science |v 2892 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 2892 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010642208 | |
Datensatz im Suchindex
| _version_ | 1820874930435129344 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Dau, Frithjof |
| author_facet | Dau, Frithjof |
| author_role | aut |
| author_sort | Dau, Frithjof |
| author_variant | f d fd |
| building | Verbundindex |
| bvnumber | BV017701497 |
| callnumber-first | Q - Science |
| callnumber-label | Q387 |
| callnumber-raw | Q387.2 |
| callnumber-search | Q387.2 |
| callnumber-sort | Q 3387.2 |
| callnumber-subject | Q - General Science |
| classification_rvk | SS 4800 |
| classification_tum | MAT 055f DAT 540f |
| ctrlnum | (OCoLC)53483608 (DE-599)BVBBV017701497 |
| 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 Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV017701497</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040206</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">031202s2003 xxu |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2003065504</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540206078</subfield><subfield code="9">3-540-20607-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)53483608</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017701497</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="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q387.2</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003/.54</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B40</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 055f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dau, Frithjof</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The logic system of concept graphs with negation</subfield><subfield code="b">and its relationship to predicate logic</subfield><subfield code="c">Frithjof Dau</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 213 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">Lecture notes in computer science</subfield><subfield code="v">2892 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Graphe</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Graphes, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Jugement (Logique)</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logigrammes</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Négation (Logique)</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Prédicat (Logique)</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Représentation des connaissances</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Structure conceptuelle</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Structures conceptuelles</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Conceptual structures (Information theory)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Graph theory</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">Logic diagrams</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graphentheorie</subfield><subfield code="0">(DE-588)4113782-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Negation</subfield><subfield code="0">(DE-588)4137553-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Begriffsgraph</subfield><subfield code="0">(DE-588)4314945-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</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="689" ind1="0" ind2="0"><subfield code="a">Begriffsgraph</subfield><subfield code="0">(DE-588)4314945-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Negation</subfield><subfield code="0">(DE-588)4137553-1</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">Begriffsgraph</subfield><subfield code="0">(DE-588)4314945-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Begriffsgraph</subfield><subfield code="0">(DE-588)4314945-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Begriffsgraph</subfield><subfield code="0">(DE-588)4314945-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Graphentheorie</subfield><subfield code="0">(DE-588)4113782-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Begriffsgraph</subfield><subfield code="0">(DE-588)4314945-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2892 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2892</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010642208</subfield></datafield></record></collection> |
| id | DE-604.BV017701497 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:07:33Z |
| institution | BVB |
| isbn | 3540206078 |
| language | English |
| lccn | 2003065504 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010642208 |
| oclc_num | 53483608 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM DE-706 DE-83 DE-188 |
| owner_facet | DE-384 DE-91G DE-BY-TUM DE-706 DE-83 DE-188 |
| physical | XI, 213 S. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Dau, Frithjof Verfasser aut The logic system of concept graphs with negation and its relationship to predicate logic Frithjof Dau Berlin u.a. Springer 2003 XI, 213 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2892 : Lecture notes in artificial intelligence Includes bibliographical references and index Graphe rasuqam Graphes, Théorie des Jugement (Logique) rasuqam Logigrammes Négation (Logique) rasuqam Prédicat (Logique) rasuqam Représentation des connaissances Structure conceptuelle rasuqam Structures conceptuelles Conceptual structures (Information theory) Graph theory Knowledge representation (Information theory) Logic diagrams Graphentheorie (DE-588)4113782-6 gnd rswk-swf Negation (DE-588)4137553-1 gnd rswk-swf Begriffsgraph (DE-588)4314945-5 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf Begriffsgraph (DE-588)4314945-5 s Negation (DE-588)4137553-1 s DE-604 Wissensrepräsentation (DE-588)4049534-6 s Prädikatenlogik (DE-588)4046974-8 s Graphentheorie (DE-588)4113782-6 s Lecture notes in computer science 2892 : Lecture notes in artificial intelligence (DE-604)BV000000607 2892 |
| spellingShingle | Dau, Frithjof The logic system of concept graphs with negation and its relationship to predicate logic Lecture notes in computer science Graphe rasuqam Graphes, Théorie des Jugement (Logique) rasuqam Logigrammes Négation (Logique) rasuqam Prédicat (Logique) rasuqam Représentation des connaissances Structure conceptuelle rasuqam Structures conceptuelles Conceptual structures (Information theory) Graph theory Knowledge representation (Information theory) Logic diagrams Graphentheorie (DE-588)4113782-6 gnd Negation (DE-588)4137553-1 gnd Begriffsgraph (DE-588)4314945-5 gnd Prädikatenlogik (DE-588)4046974-8 gnd Wissensrepräsentation (DE-588)4049534-6 gnd |
| subject_GND | (DE-588)4113782-6 (DE-588)4137553-1 (DE-588)4314945-5 (DE-588)4046974-8 (DE-588)4049534-6 |
| title | The logic system of concept graphs with negation and its relationship to predicate logic |
| title_auth | The logic system of concept graphs with negation and its relationship to predicate logic |
| title_exact_search | The logic system of concept graphs with negation and its relationship to predicate logic |
| title_full | The logic system of concept graphs with negation and its relationship to predicate logic Frithjof Dau |
| title_fullStr | The logic system of concept graphs with negation and its relationship to predicate logic Frithjof Dau |
| title_full_unstemmed | The logic system of concept graphs with negation and its relationship to predicate logic Frithjof Dau |
| title_short | The logic system of concept graphs with negation |
| title_sort | the logic system of concept graphs with negation and its relationship to predicate logic |
| title_sub | and its relationship to predicate logic |
| topic | Graphe rasuqam Graphes, Théorie des Jugement (Logique) rasuqam Logigrammes Négation (Logique) rasuqam Prédicat (Logique) rasuqam Représentation des connaissances Structure conceptuelle rasuqam Structures conceptuelles Conceptual structures (Information theory) Graph theory Knowledge representation (Information theory) Logic diagrams Graphentheorie (DE-588)4113782-6 gnd Negation (DE-588)4137553-1 gnd Begriffsgraph (DE-588)4314945-5 gnd Prädikatenlogik (DE-588)4046974-8 gnd Wissensrepräsentation (DE-588)4049534-6 gnd |
| topic_facet | Graphe Graphes, Théorie des Jugement (Logique) Logigrammes Négation (Logique) Prédicat (Logique) Représentation des connaissances Structure conceptuelle Structures conceptuelles Conceptual structures (Information theory) Graph theory Knowledge representation (Information theory) Logic diagrams Graphentheorie Negation Begriffsgraph Prädikatenlogik Wissensrepräsentation |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT daufrithjof thelogicsystemofconceptgraphswithnegationanditsrelationshiptopredicatelogic |