Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

R-Calculus, III: Post Three-Valued Logic

Name: R-Calculus, III: Post Three-Valued Logic
Brand: Springer, Berlin
SKU: 39257463
Price: 175.22 EUR
Availability: InStock
Author: Wei Li
ISBN: 9789811942693

Wei Li

Yuefei Sui

Taal

Engels

Boek Gebonden (harde band)

Libristo-code: 39257463

Uitgeverij Springer, Berlin, november 2021

This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is n... Volledige beschrijving

Libristo-code: 39257463

423 b

175.22 €

In extern magazijn Wordt binnen 10-13 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Make More Love Ann-Marlene Henning

Gebonden (paperback)

14.48 €

Racjonalność: co to jest, dlaczego jej brakuje, dlaczego ma znaczenie Steven Pinker

Gebonden (paperback)

10.33 €

Think Human: Kundenzentriertes UX-Design Isolde Kommer

Gebonden (paperback)

26.85 €

Die kleine Traummischerin, Deutsch-Spanisch, m. Audio-CD. La pequeña creadora de sueños Klaus Baumgart

Gebonden (harde band)

9.11 €

Římané Imke Rudelová

Gebonden (harde band)

6.78 €

Britannia 1. Excalibur ANA ALONSO

Gebonden (paperback)

20.26 €

Le voyageur sans bagage/Le bal des voleurs Jean Anouilh

Gebonden (paperback)

9.01 €

Ermittlung von Werkstoff- sowie Fertigungskennzahlen für die Konstruktion und Dimensionierung von spritzgegossenen Kunststofferzeugnissen Georg Menges

Gebonden (paperback)

53.20 €

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. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam R-Calculus, III: Post Three-Valued Logic

Auteur Wei Li, Yuefei Sui

Taal

Engels

Bindwijze Boek - Gebonden (harde band)

Datum van uitgifte 2022

Aantal pagina's 273

EAN 9789811942693

Libristo-code 39257463

Uitgeverij Springer, Berlin

Gewicht 600

Afmetingen 155 x 235 x 22

Categorieën

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger