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 Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

R-Calculus, III: Post Three-Valued Logic

Limba englezăengleză
Carte Copertă tare
Carte R-Calculus, III: Post Three-Valued Logic Wei Li
Codul Libristo: 39257463
Editura Springer, Berlin, noiembrie 2021
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is n... Descrierea completă
? points 446 b
975.66 lei
În depozitul extern Expediem în 10-13 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Die kleine Traummischerin, Deutsch-Spanisch, m. Audio-CD. La pequeña creadora de sueños Klaus Baumgart / Carte Copertă tare
common.buy 56.45 lei
Jin Shin Jyutsu. Le toucher qui guérit - 48 cartes + livret Riegger-Krause / Carte Carte
common.buy 182.29 lei
Französisch 8 (nach À Plus! 3) Schulaufgaben (G9, LehrplanPLUS) von bayerischen Gymnasien mit Lösungen Monika Arndt / Carte Carte broșată
common.buy 97.80 lei
Racjonalność: co to jest, dlaczego jej brakuje, dlaczego ma znaczenie Steven Pinker / Carte Carte broșată
common.buy 59.56 lei
Tout-en-un sur les œuvres au programme de Français. Première. Session 2020-2021 Emilie Muraru Carte Carte broșată
common.buy 93.89 lei
Keiji TETSUO HARA / KEIICHIRO RYU / Carte Carte
common.buy 44.84 lei
Think Human: Kundenzentriertes UX-Design Isolde Kommer / Carte Carte broșată
common.buy 150.15 lei
EL AMOR ES... 500 MANERAS DE MOSTRAR LO MUCHO QUE TE QUIERO LISA SWERLING / Carte Copertă tare
common.buy 61.26 lei
Římané Imke Rudelová / Carte Copertă tare
common.buy 35.63 lei
Make More Love Ann-Marlene Henning / Carte Carte broșată
common.buy 90.79 lei
Nanine: ou l'homme sans préjugé Voltaire / Carte Carte broșată
common.buy 59.96 lei
Britannia 1. Excalibur ANA ALONSO / Carte Carte broșată
common.buy 118.62 lei
El placer de vivir : psicología de la felicidad Christophe . . . [et al. ] André / Carte Carte broșată
common.buy 100.00 lei
Actitud emprendedora y oportunidades de negocio. Certificados de profesionalidad. Creación y gestión de microempresas ENRIQUE GARCIA PRADO / Carte Carte broșată
common.buy 82.68 lei
Le voyageur sans bagage/Le bal des voleurs Jean Anouilh / Carte Carte broșată
common.buy 50.95 lei
Ermittlung von Werkstoff- sowie Fertigungskennzahlen für die Konstruktion und Dimensionierung von spritzgegossenen Kunststofferzeugnissen Georg Menges / Carte Carte broșată
common.buy 296.11 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 - Copertă tare
Data publicării 2022
Număr pagini 273
EAN 9789811942693
Codul Libristo 39257463
Editura Springer, Berlin
Greutatea 600
Dimensiuni 155 x 235 x 22

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

Top
The Land of Stories Set Chris Colfer / Carte Carte broșată
common.buy 261.07 lei
Death & Fresh Blackberries: Dialogues with Death Yulalona Lopez / Carte Carte broșată
common.buy 53.85 lei
Wrong And Right Methods Of Dealing With Social Evil: As Shown By English Parliamentary Evidence (1883) Elizabeth Blackwell / Carte Carte broșată
common.buy 121.02 lei
Online Madeleine Taylor / Carte Carte broșată
common.buy 53.85 lei
Instinct for Freedom Alan E. Clements / Carte Carte broșată
common.buy 121.22 lei
Courage Ruth Ogden / Carte Carte broșată
common.buy 70.47 lei
Cambridge Companion to The Federalist Jack N. Rakove / Carte Carte broșată
common.buy 256.67 lei
Physics of Iodized Silver & Silver-Copper Thin-Film Nanostructures M. Gnanavel / Carte Carte broșată
common.buy 1 490.72 lei
Chinese Medicine for Health Karen Wee / Carte Carte broșată
common.buy 232.64 lei
Tourism and Regional Development Maria Giaoutzi / E-book Adobe ePub DRM
common.buy 462.22 lei
Soul Trips: Collected Poems 1940-2015 William F Nolan / Carte Carte broșată
common.buy 84.48 lei
little Sister to the Wilderness Lilian Bell / Carte Carte broșată
common.buy 115.32 lei
Alex Cross's Trial James Patterson / Audiobook MP3
common.buy 61.26 lei
How to Be a (Young) Antiracist Nic Stone / Carte Copertă tare
common.buy 195.68 lei
The Red Book /anglais CHRISTIANSEN HEIDE/ / Carte Copertă tare
common.buy 405.33 lei
Child's Book of Stories (Yesterday's Classics) Penrhyn W. Coussens / Carte Carte broșată
common.buy 153.46 lei
Busca En Mi Silvia Martinez Lopez / Carte Carte broșată
common.buy 102.60 lei
Money Mirror Chris Ategeka / E-book Adobe ePub DRM
common.buy 55.38 lei
How to Open & Operate a Financially Successful Florist & Floral Business Both Online & Off Stephanie Beener / Carte Copertă tare
common.buy 133.23 lei
Flowers of Evil Charles Baudelaire / Carte Carte broșată
common.buy 99.60 lei
Violent Offenders Christina Pietz / Carte Carte broșată
common.buy 777.14 lei
Forever Grace Kevin Eberhart / Carte Carte broșată
common.buy 74.17 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?