R-calculus, III: post three-valued logic:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Beijing, Singapore
Science Press, Springer
[2022]
|
| Schriftenreihe: | R-Calculus
III |
| Schlagworte: | |
| Beschreibung: | xii, 273 Seiten. - Illustrationen |
| ISBN: | 9789811942693 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV048639989 | ||
| 003 | DE-604 | ||
| 005 | 20230426 | ||
| 007 | t| | ||
| 008 | 230110s2022 xx a||| |||| 00||| eng d | ||
| 020 | |a 9789811942693 |c hardcover |9 978-981-19-4269-3 | ||
| 035 | |a (OCoLC)1378497147 | ||
| 035 | |a (DE-599)BVBBV048639989 | ||
| 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, III: post three-valued logic |c Wei Li, Yuefei Sui |
| 264 | 1 | |a Beijing, Singapore |b Science Press, Springer |c [2022] | |
| 264 | 4 | |c © 2022 | |
| 300 | |b xii, 273 Seiten. - Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a R-Calculus |v III | |
| 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 Mathematics of Computing | |
| 650 | 4 | |a Machine theory | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Mathematical models | |
| 650 | 4 | |a Computer science—Mathematics | |
| 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-19-4270-9 |
| 830 | 0 | |a R-Calculus |v III |w (DE-604)BV048639823 |9 3 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034014940 | |
Datensatz im Suchindex
| _version_ | 1818043359087820800 |
|---|---|
| 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 | BV048639989 |
| classification_rvk | SK 130 |
| classification_tum | DAT 000 |
| ctrlnum | (OCoLC)1378497147 (DE-599)BVBBV048639989 |
| 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>00000nam a2200000 cb4500</leader><controlfield tag="001">BV048639989</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230426</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">230110s2022 xx a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789811942693</subfield><subfield code="c">hardcover</subfield><subfield code="9">978-981-19-4269-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1378497147</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048639989</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, III: post three-valued logic</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">[2022]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2022</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="b">xii, 273 Seiten. - 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">III</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">Mathematics of Computing</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">Computer science—Mathematics</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-19-4270-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">R-Calculus</subfield><subfield code="v">III</subfield><subfield code="w">(DE-604)BV048639823</subfield><subfield code="9">3</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034014940</subfield></datafield></record></collection> |
| id | DE-604.BV048639989 |
| illustrated | Illustrated |
| index_date | 2024-07-03T21:17:22Z |
| indexdate | 2024-12-10T09:00:57Z |
| institution | BVB |
| isbn | 9789811942693 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034014940 |
| oclc_num | 1378497147 |
| open_access_boolean | |
| owner | DE-11 |
| owner_facet | DE-11 |
| physical | xii, 273 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, III: post three-valued logic Wei Li, Yuefei Sui Beijing, Singapore Science Press, Springer [2022] © 2022 xii, 273 Seiten. - Illustrationen txt rdacontent n rdamedia nc rdacarrier R-Calculus III Perspectives in formal induction, revision and evolution Formal Languages and Automata Theory Mathematical Logic and Foundations Logic in AI. Mathematical Modeling and Industrial Mathematics Mathematics of Computing Machine theory Mathematical logic Logic programming Mathematical models Computer science—Mathematics Sui, Yuefei Verfasser (DE-588)1287042120 aut Erscheint auch als Online-Ausgabe 978-981-19-4270-9 R-Calculus III (DE-604)BV048639823 3 |
| spellingShingle | Li, Wei 1943- Sui, Yuefei R-calculus, III: post three-valued logic R-Calculus Formal Languages and Automata Theory Mathematical Logic and Foundations Logic in AI. Mathematical Modeling and Industrial Mathematics Mathematics of Computing Machine theory Mathematical logic Logic programming Mathematical models Computer science—Mathematics |
| title | R-calculus, III: post three-valued logic |
| title_auth | R-calculus, III: post three-valued logic |
| title_exact_search | R-calculus, III: post three-valued logic |
| title_exact_search_txtP | R-calculus, III: post three-valued logic |
| title_full | R-calculus, III: post three-valued logic Wei Li, Yuefei Sui |
| title_fullStr | R-calculus, III: post three-valued logic Wei Li, Yuefei Sui |
| title_full_unstemmed | R-calculus, III: post three-valued logic Wei Li, Yuefei Sui |
| title_short | R-calculus, III: post three-valued logic |
| title_sort | r calculus iii post three valued logic |
| topic | Formal Languages and Automata Theory Mathematical Logic and Foundations Logic in AI. Mathematical Modeling and Industrial Mathematics Mathematics of Computing Machine theory Mathematical logic Logic programming Mathematical models Computer science—Mathematics |
| topic_facet | Formal Languages and Automata Theory Mathematical Logic and Foundations Logic in AI. Mathematical Modeling and Industrial Mathematics Mathematics of Computing Machine theory Mathematical logic Logic programming Mathematical models Computer science—Mathematics |
| volume_link | (DE-604)BV048639823 |
| work_keys_str_mv | AT liwei rcalculusiiipostthreevaluedlogic AT suiyuefei rcalculusiiipostthreevaluedlogic |