R-Calculus, IV: Propositional Logic - Yuefei Sui,Wei Li
-35% su kodu BOOKS
Pristatymas per 17-23 d.d.
30 dienų grąžinimo politika
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 r ... Visas aprašymas
Jums taip pat gali patikti
TOP
Determined: The Science of Life Without Free Will
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
The Light Eaters: How the Unseen World of Plant Intelligence Offers a New Understanding of Life on Earth
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
Why We Sleep: Unlocking the Power of Sleep and Dreams
-35% su kodu BOOKS
Yra sandėlyje
TOP
The Rise and Fall of the Dinosaurs: A New History of a Lost World
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
Biology: A Global Approach, Global Edition
Neil Campbell, Rebecca Orr, Lisa Urry, Peter Minorsky, Michael Cain, Jane Reece, Steven Wasserman
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
Six Not-so-easy Pieces: Einstein's Relativity, Symmetry, and Space-Time
Richard P. Feynman, Robert B. Leighton, Matthew Sands
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
Explaining AuDHD: The expert-led guide to Autism and ADHD Co-concurrence
-35% su kodu BOOKS
Nėra sandėlyje
TOP
The Age of Alchemy: How Early Innovators Shaped Modern Chemistry
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
Factfulness: Ten Reasons We're Wrong About the World--and Why Things Are Better Than You Think
Ola Rosling, Anna Rosling Rönnlund, Hans Rosling
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
Why Machines Learn: The Elegant Maths Behind Modern AI
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
Seven Brief Lessons on Physics
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
Entangled Life: How Fungi Make Our Worlds, Change Our Minds and Shape Our Futures
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
Life As No One Knows It: The Physics of Life's Emergence
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
The Rise and Reign of the Mammals: A New History, from the Shadow of the Dinosaurs to Us
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
Molecular Biology of the Cell
David Morgan, Alexander Johnson, Rebecca Heald, Bruce Alberts, Martin Raff
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
Learn Faster, Perform Better: A Musician's Guide to the Neuroscience of Practicing
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
Janeway's Immunobiology
Leslie J. Berg, Kenneth Murphy, Casey Weaver
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
The Road to Reality: A Complete Guide to the Laws of the Universe
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
The Brain That Changes Itself: Stories of Personal Triumph from the Frontiers of Brain Science
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Aprašymas
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.
Daugiau informacijos
| Autorius | Yuefei Sui, Wei Li |
|---|---|
| Leidėjas | Springer Nature Singapore |
| Series | Perspectives in Formal Induction, Revision and Evolution |
| Išleidimo metai | 2023 |
| Viršelio tipas | Kieti viršeliai |
| EAN | 9789811986321 |