Fortæl dine venner om denne vare:
R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution 2021 edition
Wei Li
Pris
₺ 7.780
Bestilles fra fjernlager
Forventes klar til forsendelse 10. - 14. nov.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Findes også som:
R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution 2021 edition
Wei Li
It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal changes are newly defined).
200 pages, 1 Illustrations, color; 3 Illustrations, black and white; XII, 200 p. 4 illus., 1 illus.
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 2. november 2021 |
| ISBN13 | 9789811629433 |
| Forlag | Springer Verlag, Singapore |
| Antal sider | 200 |
| Mål | 476 g |
![Cover for Wei Li · R-Calculus, VI: Finite Injury Priority Method - Perspectives in Formal Induction, Revision and Evolution (Hardcover bog) [2024 edition] (2024)](https://imusic.b-cdn.net/images/item/original/296/9789819758296.jpg?wei-li-2024-r-calculus-vi-finite-injury-priority-method-perspectives-in-formal-induction-revision-and-evolution-hardcover-bog&class=scaled&v=1750959910)
![Cover for Wei Li · Alternating Current Field Measurement Technique for Detection and Measurement of Cracks in Structures (Hardcover bog) [2025 edition] (2024)](https://imusic.b-cdn.net/images/item/original/544/9789819772544.jpg?wei-li-2024-alternating-current-field-measurement-technique-for-detection-and-measurement-of-cracks-in-structures-hardcover-bog&class=scaled&v=1750951538)
![Cover for Wei Li · R-Calculus, IV: Propositional Logic - Perspectives in Formal Induction, Revision and Evolution (Paperback Bog) [2023 edition] (2024)](https://imusic.b-cdn.net/images/item/original/352/9789811986352.jpg?wei-li-2024-r-calculus-iv-propositional-logic-perspectives-in-formal-induction-revision-and-evolution-paperback-bog&class=scaled&v=1719566664)
![Cover for Wei Li · R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution (Paperback Bog) [2022 edition] (2023)](https://imusic.b-cdn.net/images/item/original/723/9789811942723.jpg?wei-li-2023-r-calculus-iii-post-three-valued-logic-perspectives-in-formal-induction-revision-and-evolution-paperback-bog&class=scaled&v=1721156075)
![Cover for Wei Li · R-Calculus, II: Many-Valued Logics - Perspectives in Formal Induction, Revision and Evolution (Paperback Bog) [2022 edition] (2023)](https://imusic.b-cdn.net/images/item/original/963/9789811692963.jpg?wei-li-2023-r-calculus-ii-many-valued-logics-perspectives-in-formal-induction-revision-and-evolution-paperback-bog&class=scaled&v=1694584586)
![Cover for Wei Li · R-Calculus, IV: Propositional Logic - Perspectives in Formal Induction, Revision and Evolution (Hardcover bog) [2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/321/9789811986321.jpg?wei-li-2023-r-calculus-iv-propositional-logic-perspectives-in-formal-induction-revision-and-evolution-hardcover-bog&class=scaled&v=1694584586)
![Cover for Wei Li · R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution (Hardcover bog) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/693/9789811942693.jpg?wei-li-2022-r-calculus-iii-post-three-valued-logic-perspectives-in-formal-induction-revision-and-evolution-hardcover-bog&class=scaled&v=1687472328)
![Cover for Wei Li · R-Calculus, II: Many-Valued Logics - Perspectives in Formal Induction, Revision and Evolution (Hardcover bog) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/932/9789811692932.jpg?wei-li-2022-r-calculus-ii-many-valued-logics-perspectives-in-formal-induction-revision-and-evolution-hardcover-bog&class=scaled&v=1694584586)
![Cover for Wei Li · Crowdsourcing: Cloud-Based Software Development - Progress in IS (Hardcover bog) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/107/9783662470107.jpg?wei-li-2015-crowdsourcing-cloud-based-software-development-progress-in-is-hardcover-bog&class=scaled&v=1467576745)
![Cover for Wei Li · Mathematical Logic: Foundations for Information Science - Progress in Computer Science and Applied Logic (Hardcover bog) [2nd ed. 2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/613/9783034808613.jpg?wei-li-2014-mathematical-logic-foundations-for-information-science-progress-in-computer-science-and-applied-logic-hardcover-bog&class=scaled&v=1416051265)
![Cover for Wei Li · Stereoselective Formation of Amines - Topics in Current Chemistry (Hardcover bog) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/282/9783642539282.jpg?wei-li-2014-stereoselective-formation-of-amines-topics-in-current-chemistry-hardcover-bog&class=scaled&v=1397797254)
![Cover for Wei Li · Echocardiography in Adult Congenital Heart Disease (Paperback Bog) [Softcover reprint of hardcover 1st ed. 2007 edition] (2010)](https://imusic.b-cdn.net/images/item/original/528/9781849966528.jpg?wei-li-2010-echocardiography-in-adult-congenital-heart-disease-paperback-bog&class=scaled&v=1408606408)
![Cover for Wei Li · Echocardiography in Adult Congenital Heart Disease (Hardcover bog) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/159/9781846288159.jpg?wei-li-2007-echocardiography-in-adult-congenital-heart-disease-hardcover-bog&class=scaled&v=1508189449)