Kniha R-Calculus, IV: Propositional Logic Wei Li

R-Calculus, IV: Propositional Logic

Autor: Wei Li, Yuefei Sui
Jazyk: Angličtina
Vazba: Pevná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 10-13 dnů
3 882
This fourth volume of the book series combines propositional logic and R-calculus for a new point of...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
2023
Stránek
244
EAN
9789811986321
Enbook ID
42079279
Vydavatel
Hmotnost
553
Rozměry
155 x 235

Kompletní popis

This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, -propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are also given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.

Mohlo by vás zajímat

241

Difference Heaven Makes

Christopher Morse
896
965
329

Zákaznicí kteří koupili tuto knihu koupili také

Geschichte Hamburgs

Martin Krieger
181
398
1 200