Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

R-Calculus, III: Post Three-Valued Logic

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

Wei Li

Yuefei Sui

Език

Английски език

Книга С твърди корици

Код Либристо: 39257463

Издателство Springer, Berlin, ноември 2021

This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is n... Цялото описание

Код Либристо: 39257463

446 b

184.33 €

360.52 лв

Външен склад Изпращаме след 10-13 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Make More Love Ann-Marlene Henning

С меки корици

15.30 € 29.93 лв

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

С меки корици

12.15 € 23.76 лв

Think Human: Kundenzentriertes UX-Design Isolde Kommer

С меки корици

28.34 € 55.42 лв

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

С твърди корици

9.67 € 18.91 лв

Římané Imke Rudelová

С твърди корици

7.08 € 13.85 лв

Britannia 1. Excalibur ANA ALONSO

С меки корици

23.58 € 46.12 лв

Le voyageur sans bagage/Le bal des voleurs Jean Anouilh

С меки корици

9.62 € 18.81 лв

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

С меки корици

55.91 € 109.34 лв

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.