Téléchargez le livre : R-Calculus, IV: Propositional Logic

R-Calculus, IV: Propositional Logic

de

,

Éditeur :

Springer


Collection :

Perspectives in Formal Induction, Revision and Evolution

Paru le : 2023-03-27

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
179,34 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description

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. 
Pages
252 pages
Collection
Perspectives in Formal Induction, Revision and Evolution
Parution
2023-03-27
Marque
Springer
EAN papier
9789811986321
EAN PDF
9789811986338
Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
25
Taille du fichier
2918 Ko
Prix
179,34 €
EAN EPUB
9789811986338
Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
25
Taille du fichier
30454 Ko
Prix
179,34 €

Suggestions personnalisées