R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution - Wei Li - Livres - Springer Verlag, Singapore - 9789811942723 - 21 novembre 2023
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 162,99

Commandé depuis un entrepôt distant

Livraison prévue 7 - 15 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Ajouter à votre liste de souhaits iMusic

Également disponible en tant que :

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.

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 21 novembre 2023
ISBN13 9789811942723
Éditeurs Springer Verlag, Singapore
Pages 273
Dimensions 150 × 220 × 10 mm   ·   408 g
Langue et grammaire Anglais  

Plus par Wei Li

Afficher tout