R-Calculus, VI: Finite Injury Priority Method - Li, Wei
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre192,71 €
Produit Neuf
Ou 48,18 € /mois
- Livraison à 0,01 €
- Livré entre le 26 mai et le 3 juin
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9789819758296_dbm
Nos autres offres
-
220,99 €
Produit Neuf
Ou 55,25 € /mois
- Livraison : 25,00 €
- Livré entre le 8 et le 13 juin
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
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, Vi: Finite Injury Priority Method de Li, Wei Format Relié - Livre
0 avis sur R - Calculus, Vi: Finite Injury Priority Method de Li, Wei Format Relié - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation R - Calculus, Vi: Finite Injury Priority Method de Li, Wei Format Relié
- Livre
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 sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness theorem for binary-valued, Post three-valued, B2^2-valued and L4-valued first-order logics, and extend the method to infinite injury priority method and 0-method for default logic to produce pseudo-extensions of a default theory, corresponding to different R-calculi. Finite injury priority method and tree constructions are discussed in this book. 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