Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

R-Calculus, III: Post Three-Valued Logic

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha R-Calculus, III: Post Three-Valued Logic Wei Li
Libristo kód: 44429712
Nakladatelství Springer, Berlin, prosinec 2023
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is n... Celý popis
? points 400 b
4 002 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Nota del autor : los prólogos de Conrad a sus obras Joseph Conrad / Kniha Brožovaná
common.buy 491 Kč
Schritte International Neu - dreibandige Ausgabe Dagmar Giersberg / Kniha Brožovaná
common.buy 426 Kč
Numismatický sborník 32/1 Jiří Militký / Kniha Brožovaná
common.buy 216 Kč
Barnemeditasjonene I hjertet mitt Elsie Elsie / Kniha Pevná
common.buy 828 Kč
RTA 171 CITROEN C2 (2003 - 2008) ETAI Kniha binding.
common.buy 799 Kč
Les Princes - Eric (La Petite Sirène) Linsey Miller / Kniha Brožovaná
common.buy 574 Kč
Bohater niedoskonały Tajemnice Heart's Edge 1 Snow Nicole / Kniha Brožovaná
common.buy 172 Kč

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. 

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název R-Calculus, III: Post Three-Valued Logic
Autor Wei Li, Yuefei Sui
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2023
Počet stran 273
EAN 9789811942723
Libristo kód 44429712
Nakladatelství Springer, Berlin
Váha 408
Rozměry 155 x 235

Kategorie

Výpočetní a informační technologie > Informatika > Teorie algoritmů
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

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 / Kniha Brožovaná
common.buy 287 Kč
7 Habits of Highly Effective People Personal Workbook Stephen R. Covey / Kniha Brožovaná
common.buy 293 Kč
Timing-Predictable Memory Allocation In Hard Real-Time Systems Jörg Herter / Kniha Brožovaná
common.buy 748 Kč
Pope Francis, Conscience of the World John Raymaker / Kniha Brožovaná
common.buy 1 115 Kč
Social Cognitive Theory: An Agentic Perspective on Human Nature Daniel Cervone / Kniha Brožovaná
common.buy 981 Kč
600 Easy Checkmates in One Move for Beginners, Part 3 Andon Rangelov / Kniha Brožovaná
common.buy 250 Kč
Dance History(s): Imagination as a Form of Study Thomas Defrantz / Kniha Brožovaná
common.buy 858 Kč
Self Esteem: Simple Ways To Increase Your Child's Confidence During Adolescence Hand / Kniha Pevná
common.buy 392 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet