R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution - Wei Li - Bøger - Springer Verlag, Singapore - 9789811942693 - 20. november 2022
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Wei Li

Pris
DKK 1.440

Bestilles fra fjernlager

Forventes klar til forsendelse 20. - 26. nov.
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
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

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     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 20. november 2022
ISBN13 9789811942693
Forlag Springer Verlag, Singapore
Antal sider 273
Mål 150 × 220 × 20 mm   ·   600 g
Vis alle

Mere med Wei Li

Se alt med Wei Li ( f.eks. Hardcover bog , Paperback Bog , Bog og CD )