Dynamic Logic. New Trends and Applications -

Format: Broché

Voir le descriptif

Note : 0

0 avis

Soyez le premier à donner un avis

86,89 €

Produit Neuf

Ou 21,72 € /mois

Livraison : 3,99 €
Livré entre le 27 août et le 2 septembre

Voir les modes de livraison

M_plus_L

PRO Vendeur favori

4,8/5 sur + de 1 000 ventes

Voir le détail de l'annonce

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Dynamic Logic. New Trends And Applications de Format Broché - Livre

Note : 0 0 avis sur Dynamic Logic. New Trends And Applications de Format Broché - Livre

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Présentation Dynamic Logic. New Trends And Applications de Format Broché
- Livre

Livre - 01/01/2024 - Broché - Langue : Anglais

Editeur : Springer International Publishing Ag

Langue : Anglais

Parution : 01/01/2024

Format : Moyen, de 350g à 1kg

Nombre de pages : 152

Expédition : 242

Dimensions : 23.5 x 15.5 x 0.9

ISBN : 9783031517761

Résumé :

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaL? 2023, held in Tbilisi, Georgia, during September 15-16, 2023.

The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.

...

Biographie:
Logic of the Hide and Seek Game: ...

Sommaire:
A spatial logic with time and quantifiers.- Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability.- Axiomatization of Hybrid Logic of Link Variations.- Kleene Algebra of Weighted Programs With Domain.- Automated Quantum Program Verification in Dynamic Quantum Logic.- Predictive Theory of Mind Models Based on Public Announcement Logic.- Learning by Intervention in Simple Causal Domains.- A Logical Approach to Doxastic Causal Reasoning....

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Dynamic Logic. New Trends and Applications -

Avis sur Dynamic Logic. New Trends And Applications de Format Broché - Livre

Présentation Dynamic Logic. New Trends And Applications de Format Broché - Livre

Présentation Dynamic Logic. New Trends And Applications de Format Broché
- Livre