Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

R-Calculus, II: Many-Valued Logics

Name: R-Calculus, II: Many-Valued Logics
Brand: Springer Verlag, Singapore
SKU: 38573903
Price: 160.89 EUR
Availability: InStock
Author: Wei Li
ISBN: 9789811692932

Wei Li

Yuefei Sui

Sprache

Englisch

Buch Hardcover

Libristo-Code: 38573903

Verlag Springer Verlag, Singapore, April 2022

This second volume of the book series shows R-calculus is a combination of one monotonic tableau pro... Vollständige Beschreibung

Libristo-Code: 38573903

394 b

160.89 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Wheels The Friendship Race (Korean English Bilingual Book) Inna Nusinsky

Hardcover

26.99 €

Tittenbonus Ben Sinninger

Broschur

9.90 €

Fotografía y derechos de autor Bouza López

Broschur

37.19 €

FUNDAMENTOS EN LA PRACTICA DE AUTOPSIA Y MEDICINA LEGAL. PALAFOX VEGA

Buch

74.09 €

Lingue d'Europa. Elementi di storia e di tipologia linguistica Emanuele Banfi

Broschur

33.89 €

Cépages Suisses - Histoires et origines Jose Vouillamoz

Broschur

28.39 €

Handbuch Nachhaltigkeit im Vergaberecht Irene Lausen

Hardcover

139.29 €

Sistema de vigilancia de la contaminación ambiental basado en la IoT

Broschur

47.59 €

Karatehunden Bj Rn Rasmussen

Broschur

9.59 €

Zábavné tvoření Alena Grimmichová

Hardcover

7.79 €

El Tigre dentro de mí Stephanie Margolese

Broschur

16.39 €

Voyage Autour Du Monde: Australie Beauvoir-L

Broschur

29.19 €

Esclavage de la Race Noire Aux Colonies Francaises Levavasseur-C

Broschur

17.49 €

C# im Detail: Implementierungen analysiert Christian Benjamin Ries

Broschur

9.19 €

Hannah Arendts kommunikatives Machtverstandnis als Moeglichkeit gewaltfreier Politik Marvin Just

Broschur

17.95 €

L'Amiral de Bretagne, Roman Inedit Tome 2 Mesnard-E

Broschur

27.09 €

Un mundo en quiebra : de la globalización a otro mundo (im)posible Bernardo Pérez Andreo

Broschur

21.99 €

Nase vorn! - Deutsch - Übungshefte - 2. Schuljahr Annemarie Rendtorff-Roßnagel

Broschur

5.09 €

Innovacionnoe razvitie goskompanij jelektrojenergeticheskoj otrasli Vladimir Alexandrov

Broschur

48.89 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name R-Calculus, II: Many-Valued Logics

Autor Wei Li, Yuefei Sui

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2022

Anzahl der Seiten 271

EAN 9789811692932

Libristo-Code 38573903

Verlag Springer Verlag, Singapore

Gewicht 600

Abmessungen 155 x 235 x 21

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Darwin, the Bible, and Tragedy Leonard Moss

Broschur

13.59 €

Lucky to Live in Missouri Kate B. Jerome

Hardcover

16.49 €

Cantata of the Restoration: Original choral music celebrating the re-establishment of the Church of Jesus Christ in the Latter-days Kevin G Pace

Broschur

18.19 €

The Gazebo: A Miss Silver Mystery Patricia Wentworth

Hardcover

41.59 €

Making Cars in the New India Barnes

Hardcover

95.19 €

Rains Gregg Hurwitz

Broschur

12.49 €

E-banking in Bangladesh: Vulnerabilities and Securities Md. Nokib Uddin

Broschur

65.19 €

50 Things I've Learned on my Way to 50 ALETHIA TUCKER

Broschur

20.09 €

Trials and Tribulations of the Rocks Stars 2nd Wife Carol Grant

Broschur

17.09 €

Selenium Framework Design in Data-Driven Testing Carl Cocchiaro

Broschur

51.39 €

Project Explore: Starter: Class Audio CDs Sarah Phillips

Audio CD

33.89 €

Oils, Fats And Fuels (1921) Thomas Hull

Broschur

24.89 €

Imperialism and Capitalism, Volume I Dipak Basu

Hardcover

121.69 €

The Psychological Origin and the Nature of Religion (1909) James H. Leuba

Broschur

22.99 €

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

Broschur

15.09 €