Theory and applications of relational structures as knowledge instruments COST Action 274, TARSKI ; revised papers
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
2003
|
| Schriftenreihe: | Lecture notes in computer science
2929 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV017742248 | ||
| 003 | DE-604 | ||
| 005 | 20040209 | ||
| 007 | t| | ||
| 008 | 031217s2003 gw |||| 00||| eng d | ||
| 016 | 7 | |a 969602804 |2 DE-101 | |
| 020 | |a 3540207805 |9 3-540-20780-5 | ||
| 035 | |a (OCoLC)54007015 | ||
| 035 | |a (DE-599)BVBBV017742248 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-91G |a DE-706 |a DE-634 |a DE-11 | ||
| 050 | 0 | |a QA76 | |
| 082 | 0 | |a 004 |2 22 | |
| 084 | |a DAT 703f |2 stub | ||
| 084 | |a DAT 600f |2 stub | ||
| 084 | |a DAT 651f |2 stub | ||
| 245 | 1 | 0 | |a Theory and applications of relational structures as knowledge instruments |b COST Action 274, TARSKI ; revised papers |c Harrie de Swart ... (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 2003 | |
| 300 | |a VI, 271 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 2929 | |
| 650 | 7 | |a Démonstration automatique de théorèmes |2 rasuqam | |
| 650 | 4 | |a Informatique | |
| 650 | 7 | |a Informatique |2 rasuqam | |
| 650 | 7 | |a Modèle relationnel (Informatique) |2 rasuqam | |
| 650 | 7 | |a Raisonnement (Informatique) |2 rasuqam | |
| 650 | 4 | |a Relationnisme | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Relationism | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Data Mining |0 (DE-588)4428654-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informationssystem |0 (DE-588)4072806-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Relationales Datenbanksystem |0 (DE-588)4130535-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Inferenz |g Künstliche Intelligenz |0 (DE-588)4333533-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Relationales Datenbanksystem |0 (DE-588)4130535-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Informationssystem |0 (DE-588)4072806-7 |D s |
| 689 | 1 | 1 | |a Inferenz |g Künstliche Intelligenz |0 (DE-588)4333533-0 |D s |
| 689 | 1 | 2 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Relationales Datenbanksystem |0 (DE-588)4130535-8 |D s |
| 689 | 2 | 1 | |a Data Mining |0 (DE-588)4428654-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a De Swart, Harrie |d 1944- |e Sonstige |0 (DE-588)120024691 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2929 |w (DE-604)BV000000607 |9 2929 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010663425 | |
Datensatz im Suchindex
| _version_ | 1822408925408919552 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)120024691 |
| building | Verbundindex |
| bvnumber | BV017742248 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76 |
| callnumber-search | QA76 |
| callnumber-sort | QA 276 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 703f DAT 600f DAT 651f |
| ctrlnum | (OCoLC)54007015 (DE-599)BVBBV017742248 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| 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>00000nam a2200000 cb4500</leader><controlfield tag="001">BV017742248</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040209</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">031217s2003 gw |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">969602804</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540207805</subfield><subfield code="9">3-540-20780-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)54007015</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017742248</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</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-634</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 703f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 600f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 651f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theory and applications of relational structures as knowledge instruments</subfield><subfield code="b">COST Action 274, TARSKI ; revised papers</subfield><subfield code="c">Harrie de Swart ... (eds.)</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">VI, 271 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">2929</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Démonstration automatique de théorèmes</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modèle relationnel (Informatique)</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Raisonnement (Informatique)</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Relationnisme</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Relationism</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">Data Mining</subfield><subfield code="0">(DE-588)4428654-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informationssystem</subfield><subfield code="0">(DE-588)4072806-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Relationales Datenbanksystem</subfield><subfield code="0">(DE-588)4130535-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Inferenz</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4333533-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Relationales Datenbanksystem</subfield><subfield code="0">(DE-588)4130535-8</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">Informationssystem</subfield><subfield code="0">(DE-588)4072806-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Inferenz</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4333533-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><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="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Relationales Datenbanksystem</subfield><subfield code="0">(DE-588)4130535-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Data Mining</subfield><subfield code="0">(DE-588)4428654-5</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">De Swart, Harrie</subfield><subfield code="d">1944-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)120024691</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2929</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2929</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010663425</subfield></datafield></record></collection> |
| id | DE-604.BV017742248 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-27T13:29:45Z |
| institution | BVB |
| isbn | 3540207805 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010663425 |
| oclc_num | 54007015 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM DE-706 DE-634 DE-11 |
| owner_facet | DE-384 DE-91G DE-BY-TUM DE-706 DE-634 DE-11 |
| physical | VI, 271 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 | Theory and applications of relational structures as knowledge instruments COST Action 274, TARSKI ; revised papers Harrie de Swart ... (eds.) Berlin u.a. Springer 2003 VI, 271 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2929 Démonstration automatique de théorèmes rasuqam Informatique Informatique rasuqam Modèle relationnel (Informatique) rasuqam Raisonnement (Informatique) rasuqam Relationnisme Informatik Computer science Relationism Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Data Mining (DE-588)4428654-5 gnd rswk-swf Informationssystem (DE-588)4072806-7 gnd rswk-swf Relationales Datenbanksystem (DE-588)4130535-8 gnd rswk-swf Inferenz Künstliche Intelligenz (DE-588)4333533-0 gnd rswk-swf Relationales Datenbanksystem (DE-588)4130535-8 s DE-604 Informationssystem (DE-588)4072806-7 s Inferenz Künstliche Intelligenz (DE-588)4333533-0 s Mathematische Logik (DE-588)4037951-6 s Data Mining (DE-588)4428654-5 s De Swart, Harrie 1944- Sonstige (DE-588)120024691 oth Lecture notes in computer science 2929 (DE-604)BV000000607 2929 |
| spellingShingle | Theory and applications of relational structures as knowledge instruments COST Action 274, TARSKI ; revised papers Lecture notes in computer science Démonstration automatique de théorèmes rasuqam Informatique Informatique rasuqam Modèle relationnel (Informatique) rasuqam Raisonnement (Informatique) rasuqam Relationnisme Informatik Computer science Relationism Mathematische Logik (DE-588)4037951-6 gnd Data Mining (DE-588)4428654-5 gnd Informationssystem (DE-588)4072806-7 gnd Relationales Datenbanksystem (DE-588)4130535-8 gnd Inferenz Künstliche Intelligenz (DE-588)4333533-0 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4428654-5 (DE-588)4072806-7 (DE-588)4130535-8 (DE-588)4333533-0 |
| title | Theory and applications of relational structures as knowledge instruments COST Action 274, TARSKI ; revised papers |
| title_auth | Theory and applications of relational structures as knowledge instruments COST Action 274, TARSKI ; revised papers |
| title_exact_search | Theory and applications of relational structures as knowledge instruments COST Action 274, TARSKI ; revised papers |
| title_full | Theory and applications of relational structures as knowledge instruments COST Action 274, TARSKI ; revised papers Harrie de Swart ... (eds.) |
| title_fullStr | Theory and applications of relational structures as knowledge instruments COST Action 274, TARSKI ; revised papers Harrie de Swart ... (eds.) |
| title_full_unstemmed | Theory and applications of relational structures as knowledge instruments COST Action 274, TARSKI ; revised papers Harrie de Swart ... (eds.) |
| title_short | Theory and applications of relational structures as knowledge instruments |
| title_sort | theory and applications of relational structures as knowledge instruments cost action 274 tarski revised papers |
| title_sub | COST Action 274, TARSKI ; revised papers |
| topic | Démonstration automatique de théorèmes rasuqam Informatique Informatique rasuqam Modèle relationnel (Informatique) rasuqam Raisonnement (Informatique) rasuqam Relationnisme Informatik Computer science Relationism Mathematische Logik (DE-588)4037951-6 gnd Data Mining (DE-588)4428654-5 gnd Informationssystem (DE-588)4072806-7 gnd Relationales Datenbanksystem (DE-588)4130535-8 gnd Inferenz Künstliche Intelligenz (DE-588)4333533-0 gnd |
| topic_facet | Démonstration automatique de théorèmes Informatique Modèle relationnel (Informatique) Raisonnement (Informatique) Relationnisme Informatik Computer science Relationism Mathematische Logik Data Mining Informationssystem Relationales Datenbanksystem Inferenz Künstliche Intelligenz |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT deswartharrie theoryandapplicationsofrelationalstructuresasknowledgeinstrumentscostaction274tarskirevisedpapers |