Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
DPD-Kurier 4.49 €
Hermes Kurierdienst 4.99 €
DHL-Kurier 3.99 €
Hermes-Stelle 4.49 €
DPD-Stelle 2.99 €
GLS-Kurierdienst 4.99 €
Kontakt
Wie einkaufen
Hilfe
Versand
DPD-Kurier 4.49 €
Hermes Kurierdienst 4.99 €
DHL-Kurier 3.99 €
Hermes-Stelle 4.49 €
DPD-Stelle 2.99 €
GLS-Kurierdienst 4.99 €
Kaufberater
Mein Konto
▸
Leer :-(
0
R-Calculus, III: Post Three-Valued Logic
Sprache
Englisch
Englisch
Buch
Broschur
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is n...
Vollständige Beschreibung
Libristo-Code: 44429712
?
446 b
446 b
182.19
€
inkl. MwSt.
Externes Lager
Wir versenden in 5-8 Tagen
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
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.
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, III: Post Three-Valued Logic
Autor
Wei Li, Yuefei Sui
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2023
Anzahl der Seiten
273
EAN
9789811942723
Libristo-Code
44429712
Verlag
Springer, Berlin
Gewicht
408
Abmessungen
155 x 235
Kategorie
