
Fortæl dine venner om denne vare:
R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution 2022 edition
Wei Li
Pris
zł 823,90
Bestilles fra fjernlager
Forventes klar til forsendelse 1. - 7. jul.
Tilføj til din iMusic ønskeseddel
Eller
Findes også som:
R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution 2022 edition
Wei Li
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates.
273 pages, 1 Illustrations, color; 2 Illustrations, black and white; XII, 273 p. 3 illus., 1 illus.
Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
Udgivet | 21. november 2023 |
ISBN13 | 9789811942723 |
Forlag | Springer Verlag, Singapore |
Antal sider | 273 |
Mål | 408 g |
Sprog | Engelsk |