R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution - Wei Li - Książki - Springer Verlag, Singapore - 9789811942723 - 21 listopada 2023
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 682,90

Zamówione z odległego magazynu

Przewidywana dostawa 6 - 14 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 21 listopada 2023
ISBN13 9789811942723
Wydawcy Springer Verlag, Singapore
Strony 273
Wymiary 150 × 220 × 10 mm   ·   408 g
Język Angielski  

Więcej od Wei Li

Pokaż wszystko