R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution - Wei Li - Boeken - Springer Verlag, Singapore - 9789811942723 - 21 november 2023
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 167,99

Besteld in een afgelegen magazijn

Verwachte levering 22 - 30 jan.
Voeg toe aan uw iMusic-verlanglijst
of

Ook verkrijgbaar 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.

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 21 november 2023
ISBN13 9789811942723
Uitgevers Springer Verlag, Singapore
Pagina's 273
Afmetingen 150 × 220 × 10 mm   ·   408 g
Taal en grammatica Engels  

Meer door Wei Li

Alles tonen