R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution - Wei Li - Libros - Springer Verlag, Singapore - 9789811942723 - 21 de noviembre de 2023
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
€ 160,49

Pedido desde almacén remoto

Entrega prevista 1 - 9 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Añadir a tu lista de deseos de iMusic

También disponible como:

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.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 21 de noviembre de 2023
ISBN13 9789811942723
Editores Springer Verlag, Singapore
Páginas 273
Dimensiones 150 × 220 × 10 mm   ·   408 g
Lengua Inglés  

Mas por Wei Li

Mostrar todo