Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Wei Li, is a Professor in the School of Computer Science and Engineering, Beihang University, Beijing, China and is a member of the Chinese Academy of Sciences. Prof. Li is mostly engaged in the applied research of Computer Software and Theory, and the Internet, including programming languages, software development, artificial intelligence, and integrated circuit design.
Yuefei Sui, is a Professor in the Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China. His main interests include knowledge representation, applied logic and the theory of computability.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour R-Calculus, IV: Propositional Logic
Image fournie par le vendeur
R-Calculus, IV: Propositional Logic
ISBN 10 : 9811986355
ISBN 13 : 9789811986352
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 1543958354
Acheter neuf
EUR 153,73
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
R-Calculus, IV: Propositional Logic
Edité par
Springer Nature Singapore Mrz 2024, 2024
ISBN 10 : 9811986355
ISBN 13 : 9789811986352
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 268 pp. Englisch. N° de réf. du vendeur 9789811986352
Acheter neuf
EUR 181,89
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
R-Calculus, IV: Propositional Logic (Perspectives in Formal Induction, Revision and Evolution)
Edité par
Springer, 2024
ISBN 10 : 9811986355
ISBN 13 : 9789811986352
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 42806322/1
Acheter D'occasion
EUR 103,59
Frais de port :
EUR 105
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
R-Calculus, IV: Propositional Logic (Perspectives in Formal Induction, Revision and Evolution)
Edité par
Springer, 2024
ISBN 10 : 9811986355
ISBN 13 : 9789811986352
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 42806322/3
Acheter D'occasion
EUR 103,59
Frais de port :
EUR 105
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
R-Calculus, IV: Propositional Logic
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. R-Calculus, IV: Propositional Logic | Yuefei Sui (u. a.) | Taschenbuch | xiii | Englisch | 2024 | Springer Singapore | EAN 9789811986352 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 128845749
Acheter neuf
EUR 159,50
Frais de port :
EUR 70
De Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
R-Calculus, IV: Propositional Logic (Perspectives in Formal Induction, Revision and Evolution)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. 2023rd edition NO-PA16APR2015-KAP. N° de réf. du vendeur 26401137479
Acheter neuf
EUR 233,35
Frais de port :
EUR 3,45
Vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
R-Calculus, IV: Propositional Logic
Edité par
Springer Nature Singapore, Springer Nature Singapore Mär 2024, 2024
ISBN 10 : 9811986355
ISBN 13 : 9789811986352
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch. N° de réf. du vendeur 9789811986352
Acheter neuf
EUR 181,89
Frais de port :
EUR 60
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
R-Calculus, IV: Propositional Logic
Edité par
Springer Nature Singapore, Springer Nature Singapore, 2024
ISBN 10 : 9811986355
ISBN 13 : 9789811986352
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9789811986352
Acheter neuf
EUR 184,10
Frais de port :
EUR 62,06
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
R-Calculus, IV: Propositional Logic (Perspectives in Formal Induction, Revision and Evolution)
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand. N° de réf. du vendeur 396320920
Acheter neuf
EUR 252,48
Frais de port :
EUR 7,39
De Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
R-Calculus, IV: Propositional Logic (Perspectives in Formal Induction, Revision and Evolution)
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18401137485
Acheter neuf
EUR 252,60
Frais de port :
EUR 9,95
De Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)