Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

R-Calculus, III: Post Three-Valued Logic

Limba englezăengleză
Carte Carte broșată
Carte R-Calculus, III: Post Three-Valued Logic Wei Li
Codul Libristo: 44429712
Editura Springer, Berlin, decembrie 2023
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is n... Descrierea completă
? points 446 b
962.67 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Nota del autor : los prólogos de Conrad a sus obras Joseph Conrad / Carte Carte broșată
common.buy 105.30 lei
Curând
Schritte International Neu - dreibandige Ausgabe Dagmar Giersberg / Carte Carte broșată
common.buy 97.31 lei
RTA 171 CITROEN C2 (2003 - 2008) ETAI Carte binding.
common.buy 174.22 lei
Les Princes - Eric (La Petite Sirène) Linsey Miller / Carte Carte broșată
common.buy 125.61 lei
Bohater niedoskonały Tajemnice Heart's Edge 1 Snow Nicole / Carte Carte broșată
common.buy 37.09 lei

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. 

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet R-Calculus, III: Post Three-Valued Logic
Autor Wei Li, Yuefei Sui
Limba engleză
Legare Carte - Carte broșată
Data publicării 2023
Număr pagini 273
EAN 9789811942723
Codul Libristo 44429712
Editura Springer, Berlin
Greutatea 408
Dimensiuni 155 x 235

Categorii

Computing & Information Technology > Computer science > Mathematical theory of computation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

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 / Carte Carte broșată
common.buy 70.37 lei
7 Habits of Highly Effective People Personal Workbook Stephen R. Covey / Carte Carte broșată
common.buy 74.93 lei
Timing-Predictable Memory Allocation In Hard Real-Time Systems Jörg Herter / Carte Carte broșată
common.buy 161.89 lei
Pope Francis, Conscience of the World John Raymaker / Carte Carte broșată
common.buy 262.84 lei
Social Cognitive Theory: An Agentic Perspective on Human Nature Daniel Cervone / Carte Carte broșată
common.buy 229.88 lei
Dance History(s): Imagination as a Form of Study Thomas Defrantz / Carte Carte broșată
common.buy 209.77 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?