R-Calculus, III: Post Three-Valued Logic

Li, Wei;Sui, Yuefei | Autoři

Vše od Springer Verlag, Singapore
ISBN: 9789811942723

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.

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

4 406 Kč

1 - 2 ks
4 406 Kč
3 - 10 ks
4 362 Kč
11 a více ks
4 320 Kč

Naše cena 4 406 Kč je o 6 % nižší než
doporučená cena výrobce 4 687 Kč.

Předpoklad doručení do 27. května *

* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.

4 406 Kč 4 687 Kč

Nepřehlédněte od Springer Verlag, Singapore

Více o produktu

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.

Výrobce
Springer Verlag, Singapore
Jazyk
Singapore
Autor
Li, Wei;Sui, Yuefei
Rozměry
235 x 155
Rok vydání
2023
Počet stran
273
Obsah
Paperback / softback
Počet stran
273 pages, 1 Illustrations, color; 2 Illustrations, black and white; XII, 273 p. 3 illus., 1 illus.

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s R-Calculus, III: Post Three-Valued Logic a pomůžete tak ostatním zákazníkům při výběru.

Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!