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, Berlin
SKU: 43125638
Price: 160.89 EUR
Availability: InStock
Author: Wei Li
ISBN: 9789811692963

Wei Li

Yuefei Sui

Sprache

Englisch

Buch Broschur

Libristo-Code: 43125638

Verlag Springer, Berlin, April 2023

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

Libristo-Code: 43125638

394 b

160.89 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Planchado y arreglo de ropa en alojamientos Laura Jiménez Pérez

Broschur

20.79 €

EL LIBRO SIN NOMBRE ANONIMO

Hardcover

24.29 €

Leopardenblut Nalini Singh

Broschur

12.90 €

Der Falschmunzer / Bestraft Ludwig Habicht

Hardcover

24.90 €

LAGRIMAS DE POLVO ROJO SURE

Broschur

14.89 €

Das Tor zum Verständnis eines Pandita Heiko Michel

Broschur

22.00 €

Practical Syntax of the Russian Language V V Khimik

Broschur

9.89 €

La vuelta al mundo en 111 días HAZAEL GONZALEZ

Broschur

20.79 €

Mendiant dans une ferme de Normandie ou le Malheureux console GRIMBERT-L

Broschur

14.19 €

Obuchenie rukovoditeley obrazovaniya osnovam proektnogo upravleniya Eleonora Litvinenko

Broschur

27.99 €

Swapnvastavdutta Bhaas

Broschur

13.19 €

Docència i pràctica del dret romà Obarrio Moreno

Broschur

15.69 €

L’enfance du Christ dans l’art MARIE-GABRIELLE LEBL Buch

Broschur

36.79 €

Maria Valtorta et l'église - L122 Debroise Buch

Broschur

7.59 €

Poèmes à mettre entre toutes les mains Marie-José CAMAZON

Broschur

19.89 €

Chasseur et son chien wildsmith brian Buch

Buch

10.89 €

Koh-i-noor inkoust do plnicích per 50 ml černý

Papier- und Schreibwaren

1.79 €

Dendrologie Karl Koch

Hardcover

99.90 €

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 - Broschur

Datum der Veröffentlichung 2023

Anzahl der Seiten 271

EAN 9789811692963

Libristo-Code 43125638

Verlag Springer, Berlin

Gewicht 408

Abmessungen 155 x 235

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