R-calculus: a logic of belief revision:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Beijing, Singapore
Science Press, Springer
[2021]
|
| Schriftenreihe: | R-Calculus
I |
| Schlagworte: | |
| Beschreibung: | Serienzählung erst ab Band 2 vorhanden |
| Beschreibung: | xii, 200 Seiten Illustrationen |
| ISBN: | 9789811629433 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV047645405 | ||
| 003 | DE-604 | ||
| 005 | 20230426 | ||
| 007 | t| | ||
| 008 | 211216s2021 xx a||| |||| 00||| eng d | ||
| 020 | |a 9789811629433 |9 978-981-16-2943-3 | ||
| 035 | |a (OCoLC)1349548766 | ||
| 035 | |a (DE-599)BVBBV047645405 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Li, Wei |d 1943- |e Verfasser |0 (DE-588)1062904451 |4 aut | |
| 245 | 1 | 0 | |a R-calculus: a logic of belief revision |c Wei Li, Yuefei Sui |
| 264 | 1 | |a Beijing, Singapore |b Science Press, Springer |c [2021] | |
| 264 | 4 | |c © 2021 | |
| 300 | |a xii, 200 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a R-Calculus |v I | |
| 490 | 0 | |a Perspectives in formal induction, revision and evolution | |
| 500 | |a Serienzählung erst ab Band 2 vorhanden | ||
| 650 | 4 | |a Logic in AI. | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Mathematical Modeling and Industrial Mathematics | |
| 650 | 4 | |a Big Data | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Mathematical models | |
| 650 | 4 | |a Big data | |
| 700 | 1 | |a Sui, Yuefei |e Verfasser |0 (DE-588)1287042120 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-981-16-2944-0 |
| 830 | 0 | |a R-Calculus |v I |w (DE-604)BV048639823 |9 1 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-033029549 | |
Datensatz im Suchindex
| _version_ | 1818043359229378560 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Li, Wei 1943- Sui, Yuefei |
| author_GND | (DE-588)1062904451 (DE-588)1287042120 |
| author_facet | Li, Wei 1943- Sui, Yuefei |
| author_role | aut aut |
| author_sort | Li, Wei 1943- |
| author_variant | w l wl y s ys |
| building | Verbundindex |
| bvnumber | BV047645405 |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)1349548766 (DE-599)BVBBV047645405 |
| 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 Mathematik |
| discipline_str_mv | Informatik Mathematik |
| 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">BV047645405</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230426</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">211216s2021 xx a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789811629433</subfield><subfield code="9">978-981-16-2943-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1349548766</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047645405</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Li, Wei</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1062904451</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">R-calculus: a logic of belief revision</subfield><subfield code="c">Wei Li, Yuefei Sui</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Beijing, Singapore</subfield><subfield code="b">Science Press, Springer</subfield><subfield code="c">[2021]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xii, 200 Seiten</subfield><subfield code="b">Illustrationen</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">R-Calculus</subfield><subfield code="v">I</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Perspectives in formal induction, revision and evolution</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Serienzählung erst ab Band 2 vorhanden</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic in AI.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Modeling and Industrial Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Big Data</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Big data</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sui, Yuefei</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1287042120</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-981-16-2944-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">R-Calculus</subfield><subfield code="v">I</subfield><subfield code="w">(DE-604)BV048639823</subfield><subfield code="9">1</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033029549</subfield></datafield></record></collection> |
| id | DE-604.BV047645405 |
| illustrated | Illustrated |
| index_date | 2024-07-03T18:48:38Z |
| indexdate | 2024-12-10T09:00:57Z |
| institution | BVB |
| isbn | 9789811629433 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033029549 |
| oclc_num | 1349548766 |
| open_access_boolean | |
| owner | DE-11 |
| owner_facet | DE-11 |
| physical | xii, 200 Seiten Illustrationen |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Science Press, Springer |
| record_format | marc |
| series | R-Calculus |
| series2 | R-Calculus Perspectives in formal induction, revision and evolution |
| spelling | Li, Wei 1943- Verfasser (DE-588)1062904451 aut R-calculus: a logic of belief revision Wei Li, Yuefei Sui Beijing, Singapore Science Press, Springer [2021] © 2021 xii, 200 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier R-Calculus I Perspectives in formal induction, revision and evolution Serienzählung erst ab Band 2 vorhanden Logic in AI. Mathematical Logic and Formal Languages Mathematical Logic and Foundations Mathematical Modeling and Industrial Mathematics Big Data Artificial intelligence Computer logic Mathematical logic Mathematical models Big data Sui, Yuefei Verfasser (DE-588)1287042120 aut Erscheint auch als Online-Ausgabe 978-981-16-2944-0 R-Calculus I (DE-604)BV048639823 1 |
| spellingShingle | Li, Wei 1943- Sui, Yuefei R-calculus: a logic of belief revision R-Calculus Logic in AI. Mathematical Logic and Formal Languages Mathematical Logic and Foundations Mathematical Modeling and Industrial Mathematics Big Data Artificial intelligence Computer logic Mathematical logic Mathematical models Big data |
| title | R-calculus: a logic of belief revision |
| title_auth | R-calculus: a logic of belief revision |
| title_exact_search | R-calculus: a logic of belief revision |
| title_exact_search_txtP | R-calculus: a logic of belief revision |
| title_full | R-calculus: a logic of belief revision Wei Li, Yuefei Sui |
| title_fullStr | R-calculus: a logic of belief revision Wei Li, Yuefei Sui |
| title_full_unstemmed | R-calculus: a logic of belief revision Wei Li, Yuefei Sui |
| title_short | R-calculus: a logic of belief revision |
| title_sort | r calculus a logic of belief revision |
| topic | Logic in AI. Mathematical Logic and Formal Languages Mathematical Logic and Foundations Mathematical Modeling and Industrial Mathematics Big Data Artificial intelligence Computer logic Mathematical logic Mathematical models Big data |
| topic_facet | Logic in AI. Mathematical Logic and Formal Languages Mathematical Logic and Foundations Mathematical Modeling and Industrial Mathematics Big Data Artificial intelligence Computer logic Mathematical logic Mathematical models Big data |
| volume_link | (DE-604)BV048639823 |
| work_keys_str_mv | AT liwei rcalculusalogicofbeliefrevision AT suiyuefei rcalculusalogicofbeliefrevision |