Над 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, II: Many-Valued Logics

Name: R-Calculus, II: Many-Valued Logics
Brand: Springer, Berlin
SKU: 43125638
Price: 162.34 EUR
Availability: InStock
Author: Wei Li
ISBN: 9789811692963

Wei Li

Yuefei Sui

Език

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

Книга С меки корици

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

Издателство Springer, Berlin, април 2023

This second volume of the book series shows R-calculus is a combination of one monotonic tableau pro... Цялото описание

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

394 b

162.34 €

317.51 лв

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

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

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

Planchado y arreglo de ropa en alojamientos Laura Jiménez Pérez

С меки корици

21.00 € 41.07 лв

EL LIBRO SIN NOMBRE ANONIMO

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

24.51 € 47.93 лв

Leopardenblut Nalini Singh

С меки корици

11.66 € 22.80 лв

Der Falschmunzer / Bestraft Ludwig Habicht

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

23.63 € 46.22 лв

LAGRIMAS DE POLVO ROJO SURE

С меки корици

15.06 € 29.46 лв

Das Tor zum Verständnis eines Pandita Heiko Michel

С меки корици

19.71 € 38.54 лв

Practical Syntax of the Russian Language V V Khimik

С меки корици

9.95 € 19.47 лв

La vuelta al mundo en 111 días HAZAEL GONZALEZ

С меки корици

20.95 € 40.97 лв

Mendiant dans une ferme de Normandie ou le Malheureux console GRIMBERT-L

С меки корици

13.67 € 26.74 лв

Obuchenie rukovoditeley obrazovaniya osnovam proektnogo upravleniya Eleonora Litvinenko

С меки корици

28.27 € 55.30 лв

Swapnvastavdutta Bhaas

С меки корици

12.74 € 24.92 лв

Docència i pràctica del dret romà Obarrio Moreno

С меки корици

15.84 € 30.97 лв

L’enfance du Christ dans l’art MARIE-GABRIELLE LEBL Книга

С меки корици

37.10 € 72.56 лв

Maria Valtorta et l'église - L122 Debroise Книга

С меки корици

7.68 € 15.03 лв

Poèmes à mettre entre toutes les mains Marie-José CAMAZON

С меки корици

20.02 € 39.15 лв

Chasseur et son chien wildsmith brian Книга

Книга

11.04 € 21.59 лв

Koh-i-noor inkoust do plnicích per 50 ml černý

Канцеларски материали

1.90 € 3.72 лв

Dendrologie Karl Koch

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

93.86 € 183.58 лв

This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type 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. It discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks.