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

Limba englezăengleză
Carte Copertă tare
Carte R-Calculus, II: Many-Valued Logics Wei Li
Codul Libristo: 38573903
Editura Springer Verlag, Singapore, aprilie 2022
This second volume of the book series shows R-calculus is a combination of one monotonic tableau pro... Descrierea completă
? points 373 b
809.27 lei
În depozitul extern Expediem în 10-13 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Wheels The Friendship Race (Korean English Bilingual Book) Inna Nusinsky / Carte Copertă tare
common.buy 142.99 lei
Tittenbonus Ben Sinninger / Carte Carte broșată
common.buy 47.45 lei
Fotografía y derechos de autor Bouza López / Carte Carte broșată
common.buy 170.78 lei
FUNDAMENTOS EN LA PRACTICA DE AUTOPSIA Y MEDICINA LEGAL. PALAFOX VEGA / Carte Carte
common.buy 345.21 lei
Lingue d'Europa. Elementi di storia e di tipologia linguistica Emanuele Banfi / Carte Carte broșată
common.buy 174.94 lei
Cépages Suisses - Histoires et origines Jose Vouillamoz / Carte Carte broșată
common.buy 143.51 lei
Handbuch Nachhaltigkeit im Vergaberecht Irene Lausen / Carte Copertă tare
common.buy 701.14 lei
Sistema de vigilancia de la contaminación ambiental basado en la IoT / Carte Carte broșată
common.buy 252.27 lei
Karatehunden Bj Rn Rasmussen / Carte Carte broșată
common.buy 47.86 lei
Zábavné tvoření Alena Grimmichová / Carte Copertă tare
common.buy 39.43 lei
El Tigre dentro de mí Stephanie Margolese / Carte Carte broșată
common.buy 86.89 lei
Voyage Autour Du Monde: Australie Beauvoir-L / Carte Carte broșată
common.buy 154.75 lei
Esclavage de la Race Noire Aux Colonies Francaises Levavasseur-C / Carte Carte broșată
common.buy 83.46 lei
C# im Detail: Implementierungen analysiert Christian Benjamin Ries / Carte Carte broșată
common.buy 48.49 lei
Hannah Arendts kommunikatives Machtverstandnis als Moeglichkeit gewaltfreier Politik Marvin Just / Carte Carte broșată
common.buy 84.92 lei
L'Amiral de Bretagne, Roman Inedit Tome 2 Mesnard-E / Carte Carte broșată
common.buy 143.93 lei
Un mundo en quiebra : de la globalización a otro mundo (im)posible Bernardo Pérez Andreo / Carte Carte broșată
common.buy 101.25 lei
Nase vorn! - Deutsch - Übungshefte - 2. Schuljahr Annemarie Rendtorff-Roßnagel / Carte Carte broșată
common.buy 25.80 lei
Innovacionnoe razvitie goskompanij jelektrojenergeticheskoj otrasli Vladimir Alexandrov / Carte Carte broșată
common.buy 245.08 lei

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.

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, II: Many-Valued Logics
Autor Wei Li, Yuefei Sui
Limba engleză
Legare Carte - Copertă tare
Data publicării 2022
Număr pagini 271
EAN 9789811692932
Codul Libristo 38573903
Editura Springer Verlag, Singapore
Greutatea 600
Dimensiuni 155 x 235 x 21

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

Darwin, the Bible, and Tragedy Leonard Moss / Carte Carte broșată
common.buy 71.91 lei
Lucky to Live in Missouri Kate B. Jerome / Carte Copertă tare
common.buy 87.31 lei
Cantata of the Restoration: Original choral music celebrating the re-establishment of the Church of Jesus Christ in the Latter-days Kevin G Pace / Carte Carte broșată
common.buy 96.68 lei
The Gazebo: A Miss Silver Mystery Patricia Wentworth / Carte Copertă tare
common.buy 220.63 lei
Making Cars in the New India Barnes / Carte Copertă tare
common.buy 475.72 lei
Rains Gregg Hurwitz / Carte Carte broșată
common.buy 66.29 lei
E-banking in Bangladesh: Vulnerabilities and Securities Md. Nokib Uddin / Carte Carte broșată
common.buy 326.58 lei
50 Things I've Learned on my Way to 50 ALETHIA TUCKER / Carte Carte broșată
common.buy 106.35 lei
Trials and Tribulations of the Rocks Stars 2nd Wife Carol Grant / Carte Carte broșată
common.buy 90.85 lei
Selenium Framework Design in Data-Driven Testing Carl Cocchiaro / Carte Carte broșată
common.buy 272.87 lei
Project Explore: Starter: Class Audio CDs Sarah Phillips / Audio Audio CD
common.buy 170.78 lei
Oils, Fats And Fuels (1921) Thomas Hull / Carte Carte broșată
common.buy 132.17 lei
Imperialism and Capitalism, Volume I Dipak Basu / Carte Copertă tare
common.buy 613.09 lei
The Psychological Origin and the Nature of Religion (1909) James H. Leuba / Carte Carte broșată
common.buy 121.97 lei
Dr. Bentley's Proposals for Printing a New Edition of the Greek Testament, and St. Hierom's Latin Version: With a Full Answer to All the Remarks of a Richard Bentley / Carte Carte broșată
common.buy 80.23 lei
standard pronouncing dictionary of the French and English languages Gabriel Surenne / Carte Carte broșată
common.buy 228.85 lei
Pretzel H. A. Rey / Carte Carte broșată
common.buy 47.03 lei
Lonely Planet Pocket Hong Kong Piera Chen / Carte Carte broșată
common.buy 90.12 lei
Pattern Recognition and Computer Vision Qingshan Liu / E-book Adobe ePub DRM
common.buy 563.03 lei
Meeting Him Beneth Peters Jones / Carte Carte broșată
common.buy 84.71 lei
Harmonization of Working Life and Family Life Roger Blanpain / Carte Carte broșată
common.buy 896.80 lei
School-community partnerships and Retention of students in schools Clare Twegyesibwe / Carte Carte broșată
common.buy 283.07 lei
Sociology of Modernization and Development David Harrison / Carte Copertă tare
common.buy 1 145.02 lei
Old Testament: A Very Short Introduction Michael D Coogan / Carte Carte broșată
common.buy 59.42 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?