R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution - Wei Li - Kirjat - Springer Verlag, Singapore - 9789811629433 - tiistai 2. marraskuuta 2021
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Wei Li

Hinta
€ 140,49

Tilattu etävarastosta

Arvioitu toimitus ti - ke 16. - 24. syys
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

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

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä tiistai 2. marraskuuta 2021
ISBN13 9789811629433
Tuottaja Springer Verlag, Singapore
Sivujen määrä 200
Mitta 476 g

Näytä kaikki

Lisää tuotteita Wei Li