R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution - Wei Li - Kirjat - Springer Verlag, Singapore - 9789811942723 - tiistai 21. marraskuuta 2023
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Wei Li

Hinta
₺ 7.645

Tilattu etävarastosta

Arvioitu toimitus ti - ke 1. - 9. heinä
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

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.

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 21. marraskuuta 2023
ISBN13 9789811942723
Tuottaja Springer Verlag, Singapore
Sivujen määrä 273
Mitta 408 g
Kieli English  

Näytä kaikki

Lisää tuotteita Wei Li