245,34 €
Produit Neuf
Ou 61,34 € /mois
- Livraison à 0,01 €
- Livré entre le 26 août et le 11 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9789811942693_dbm
Nos autres offres
-
226,56 €
Produit Neuf
Ou 56,64 € /mois
- Livraison : 3,99 €
- Livré entre le 26 août et le 2 septembre
Voir le détail de l'annonce -
245,34 €
Produit Neuf
Ou 61,34 € /mois
- Livraison à 0,01 €
- Livré entre le 26 août et le 11 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9789811942693_dbm
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur R - Calculus, Iii: Post Three - Valued Logic de Sui, Yuefei Format Relié - Livre
0 avis sur R - Calculus, Iii: Post Three - Valued Logic de Sui, Yuefei Format Relié - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation R - Calculus, Iii: Post Three - Valued Logic de Sui, Yuefei Format Relié
- Livre
Résumé :
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.
Biographie:
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. 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 computation.
Sommaire:
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. ...
Détails de conformité du produit
Personne responsable dans l'UE