Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Beijing, Singapore
Science Press, Springer
[2023]
|
| Schriftenreihe: | R-Calculus
IV |
| Schlagwörter: | |
| Umfang: | xiii, 252 Seiten Illustrationen |
| ISBN: | 9789811986321 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV048640012 | ||
| 003 | DE-604 | ||
| 005 | 20230426 | ||
| 007 | t| | ||
| 008 | 230110s2023 xx a||| |||| 00||| eng d | ||
| 020 | |a 9789811986321 |c hardcover |9 978-981-19-8632-1 | ||
| 035 | |a (OCoLC)1378502150 | ||
| 035 | |a (DE-599)BVBBV048640012 | ||
| 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, IV: propositional logic |c Wei Li, Yuefei Sui |
| 264 | 1 | |a Beijing, Singapore |b Science Press, Springer |c [2023] | |
| 264 | 4 | |c © 2023 | |
| 300 | |a xiii, 252 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a R-Calculus |v IV | |
| 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 |a 978-981-19-8633-8 |
| 830 | 0 | |a R-Calculus |v IV |w (DE-604)BV048639823 |9 4 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034014961 | |
Datensatz im Suchindex
| _version_ | 1820963141776834560 |
|---|---|
| adam_text | |
| any_adam_object | |
| 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 | BV048640012 |
| classification_rvk | SK 130 |
| classification_tum | DAT 000 |
| ctrlnum | (OCoLC)1378502150 (DE-599)BVBBV048640012 |
| 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 |
| 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">BV048640012</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230426</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">230110s2023 xx a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789811986321</subfield><subfield code="c">hardcover</subfield><subfield code="9">978-981-19-8632-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1378502150</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048640012</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, IV: propositional 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">[2023]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2023</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiii, 252 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">IV</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="a">978-981-19-8633-8</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">R-Calculus</subfield><subfield code="v">IV</subfield><subfield code="w">(DE-604)BV048639823</subfield><subfield code="9">4</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034014961</subfield></datafield></record></collection> |
| id | DE-604.BV048640012 |
| illustrated | Illustrated |
| indexdate | 2025-01-11T14:29:38Z |
| institution | BVB |
| isbn | 9789811986321 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034014961 |
| oclc_num | 1378502150 |
| open_access_boolean | |
| owner | DE-11 |
| owner_facet | DE-11 |
| physical | xiii, 252 Seiten Illustrationen |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| 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, IV: propositional logic Wei Li, Yuefei Sui Beijing, Singapore Science Press, Springer [2023] © 2023 xiii, 252 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier R-Calculus IV 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-8633-8 R-Calculus IV (DE-604)BV048639823 4 |
| spellingShingle | Li, Wei 1943- Sui, Yuefei R-calculus, IV: propositional 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, IV: propositional logic |
| title_auth | R-calculus, IV: propositional logic |
| title_exact_search | R-calculus, IV: propositional logic |
| title_full | R-calculus, IV: propositional logic Wei Li, Yuefei Sui |
| title_fullStr | R-calculus, IV: propositional logic Wei Li, Yuefei Sui |
| title_full_unstemmed | R-calculus, IV: propositional logic Wei Li, Yuefei Sui |
| title_short | R-calculus, IV: propositional logic |
| title_sort | r calculus iv propositional 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 rcalculusivpropositionallogic AT suiyuefei rcalculusivpropositionallogic |