Isbn: 9789811986352 - r-calculus, iv: propositional logic (perspectives in formal induction, revision and evolution) (5 Ergebnisse)

Zustand: New.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 265 | Sprache: Englisch | Produktart: Bücher | 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.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This fourth volume of the book series combines propositional logic and R-calculus fora 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 supersequentsare 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.…

Taschenbuch. Zustand: Neu. R-Calculus, IV: Propositional Logic | Wei Li (u. a.) | Taschenbuch | Perspectives in Formal Induction, Revision and Evolution | xiii | Englisch | 2024 | Springer | EAN 9789811986352 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Softcover. Zustand: gut. 2024. R-Calculus, IV: Propositional Logic (Perspectives in Formal Induction, Revision and Evolution) In deutscher Sprache. pages.