Powiedz znajomym o tym przedmiocie:
R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution Wei Li 2022 edition
R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution
Wei Li
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ż wszystkoZobacz wszystko od Wei Li ( np. Hardcover Book , Paperback Book , Book i CD )
Świąteczne prezenty można zwracać do 31 stycznia