Weitere Formate
Hardcover - 9789811986321
181,89 €
Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
Details
| Verlag | Springer Singapore |
| Ersterscheinung | 30. März 2024 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 411 Gramm |
| Format | Softcover |
| ISBN-13 | 9789811986352 |
| Auflage | 2023 |
| Seiten | 252 |
Schlagwörter
Formal Languages and Automata Theory, Künstliche Intelligenz, Logic in AI, Mathematical Logic and Foundations, Mathematical Modeling and Industrial Mathematics, Mathematics of Computing, Mathematik für Informatiker, Mathematik für Ingenieure, Mathematik: Logik, Mathematische Grundlagen, Mathematische Modellierung, Theoretische Informatik
Herstellerinformationen
Bekannt durch
