R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution - Wei Li - Grāmatas - Springer Verlag, Singapore - 9789811942723 - 2023. gada 21. novembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Wei Li izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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.

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2023. gada 21. novembris
ISBN13 9789811942723
Izdevēji Springer Verlag, Singapore
Lapas 273
Izmēri 150 × 220 × 10 mm   ·   408 g
Valoda Angļu  

Vairāk no Wei Li

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Wei Li ( piem., Hardcover Book , Paperback Book , Book un CD )