R-calculus, II: many-valued logics:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Beijing
Science Press, Springer
[2022]
|
| Schriftenreihe: | R-Calculus
II |
| Schlagworte: | |
| Beschreibung: | xiii, 271 Seiten Illustrationen |
| ISBN: | 9789811692932 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV048639789 | ||
| 003 | DE-604 | ||
| 005 | 20230426 | ||
| 007 | t | ||
| 008 | 230110s2022 a||| |||| 00||| eng d | ||
| 020 | |a 9789811692932 |c hardcover |9 978-981-16-9293-2 | ||
| 035 | |a (OCoLC)1378491958 | ||
| 035 | |a (DE-599)BVBBV048639789 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 | ||
| 082 | 0 | |a 005.131 |2 23 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Li, Wei |d 1943- |e Verfasser |0 (DE-588)1062904451 |4 aut | |
| 245 | 1 | 0 | |a R-calculus, II: many-valued logics |c Wei Li, Yuefei Sui |
| 264 | 1 | |a Beijing |b Science Press, Springer |c [2022] | |
| 264 | 4 | |c © 2022 | |
| 300 | |a xiii, 271 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a R-Calculus |v II | |
| 490 | 0 | |a Perspectives in formal induction, revision and evolution | |
| 650 | 4 | |a Formal Languages and Automata Theory | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Logic in AI. | |
| 650 | 4 | |a Mathematical Modeling and Industrial Mathematics | |
| 650 | 4 | |a Big Data | |
| 650 | 4 | |a Machine theory | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Logic programming | |
| 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-9294-9 |
| 830 | 0 | |a R-Calculus |v II |w (DE-604)BV048639823 |9 2 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-034014742 | ||
Datensatz im Suchindex
| _version_ | 1804184781046415360 |
|---|---|
| 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 | BV048639789 |
| classification_rvk | SK 130 |
| classification_tum | DAT 000 |
| ctrlnum | (OCoLC)1378491958 (DE-599)BVBBV048639789 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| 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>01565nam a2200481 cb4500</leader><controlfield tag="001">BV048639789</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230426 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">230110s2022 a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789811692932</subfield><subfield code="c">hardcover</subfield><subfield code="9">978-981-16-9293-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1378491958</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048639789</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">005.131</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="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</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, II: many-valued logics</subfield><subfield code="c">Wei Li, Yuefei Sui</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Beijing</subfield><subfield code="b">Science Press, Springer</subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2022</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiii, 271 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">II</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Perspectives in formal induction, revision and evolution</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal Languages and Automata Theory</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">Logic in AI.</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">Machine theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</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-9294-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">R-Calculus</subfield><subfield code="v">II</subfield><subfield code="w">(DE-604)BV048639823</subfield><subfield code="9">2</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034014742</subfield></datafield></record></collection> |
| id | DE-604.BV048639789 |
| illustrated | Illustrated |
| index_date | 2024-07-03T21:17:20Z |
| indexdate | 2024-07-10T09:44:47Z |
| institution | BVB |
| isbn | 9789811692932 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034014742 |
| oclc_num | 1378491958 |
| open_access_boolean | |
| owner | DE-11 |
| owner_facet | DE-11 |
| physical | xiii, 271 Seiten Illustrationen |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| 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, II: many-valued logics Wei Li, Yuefei Sui Beijing Science Press, Springer [2022] © 2022 xiii, 271 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier R-Calculus II Perspectives in formal induction, revision and evolution Formal Languages and Automata Theory Mathematical Logic and Foundations Logic in AI. Mathematical Modeling and Industrial Mathematics Big Data Machine theory Mathematical logic Logic programming Mathematical models Big data Sui, Yuefei Verfasser (DE-588)1287042120 aut Erscheint auch als Online-Ausgabe 978-981-16-9294-9 R-Calculus II (DE-604)BV048639823 2 |
| spellingShingle | Li, Wei 1943- Sui, Yuefei R-calculus, II: many-valued logics R-Calculus Formal Languages and Automata Theory Mathematical Logic and Foundations Logic in AI. Mathematical Modeling and Industrial Mathematics Big Data Machine theory Mathematical logic Logic programming Mathematical models Big data |
| title | R-calculus, II: many-valued logics |
| title_auth | R-calculus, II: many-valued logics |
| title_exact_search | R-calculus, II: many-valued logics |
| title_exact_search_txtP | R-calculus, II: many-valued logics |
| title_full | R-calculus, II: many-valued logics Wei Li, Yuefei Sui |
| title_fullStr | R-calculus, II: many-valued logics Wei Li, Yuefei Sui |
| title_full_unstemmed | R-calculus, II: many-valued logics Wei Li, Yuefei Sui |
| title_short | R-calculus, II: many-valued logics |
| title_sort | r calculus ii many valued logics |
| topic | Formal Languages and Automata Theory Mathematical Logic and Foundations Logic in AI. Mathematical Modeling and Industrial Mathematics Big Data Machine theory Mathematical logic Logic programming Mathematical models Big data |
| topic_facet | Formal Languages and Automata Theory Mathematical Logic and Foundations Logic in AI. Mathematical Modeling and Industrial Mathematics Big Data Machine theory Mathematical logic Logic programming Mathematical models Big data |
| volume_link | (DE-604)BV048639823 |
| work_keys_str_mv | AT liwei rcalculusiimanyvaluedlogics AT suiyuefei rcalculusiimanyvaluedlogics |