R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution - Wei Li - Bücher - Springer Verlag, Singapore - 9789811942723 - 21. November 2023
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Preis
SFr. 143,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 7. - 15. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

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.

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 21. November 2023
ISBN13 9789811942723
Verlag Springer Verlag, Singapore
Seitenanzahl 273
Maße 150 × 220 × 10 mm   ·   408 g
Sprache Englisch  

Weitere Titel von Wei Li

Alle anzeigen