R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution - Wei Li - Bøker - Springer Verlag, Singapore - 9789811629433 - 2. november 2021
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution 2021 edition

Pris
SFr. 118,49

Bestillingsvarer

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

Finnes også som:

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.

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

Vis alle

Mer med Wei Li