R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution - Wei Li - Bøker - Springer Verlag, Singapore - 9789811942693 - 20. november 2022
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution 2022 edition

Pris
zł 652,90

Bestillingsvarer

Forventes levert 3. - 11. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller

Finnes også som:

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.

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 20. november 2022
ISBN13 9789811942693
Utgivere Springer Verlag, Singapore
Antall sider 273
Mål 150 × 220 × 20 mm   ·   600 g

Vis alle

Mer med Wei Li