Над 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: 44429712
Price: 183.8 EUR
Availability: InStock
Author: Wei Li
ISBN: 9789811942723

Wei Li

Yuefei Sui

Език

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

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

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

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

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

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

446 b

183.80 €

359.48 лв

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

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

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

Nota del autor : los prólogos de Conrad a sus obras Joseph Conrad

С меки корици

20.98 € 41.04 лв

Schritte International Neu - dreibandige Ausgabe Dagmar Giersberg

С меки корици

19.59 € 38.32 лв

RTA 171 CITROEN C2 (2003 - 2008) ETAI Книга

binding.

34.75 € 67.97 лв

Les Princes - Eric (La Petite Sirène) Linsey Miller

С меки корици

25.06 € 49.01 лв

Bohater niedoskonały Tajemnice Heart's Edge 1 Snow Nicole

С меки корици

7.63 € 14.92 лв

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.

Героиня & Полиглот

EWA KASP за

Пусни видеото

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие R-Calculus, III: Post Three-Valued Logic

Автор Wei Li, Yuefei Sui

Език

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

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

Дата на издаване 2023

Брой страници 273

Баркод 9789811942723

Код Либристо 44429712

Издателство Springer, Berlin

Тегло 408

Размери 155 x 235

Може би ще Ви заинтересува

Account of the Success of Inoculating the Small Pox in Great Britain, for the Year 1724. with a Comparison Between the Miscarriages in That Practice, James Jurin

С меки корици

12.63 € 24.70 лв