Cantitate/Preț
Produs

Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers: Lecture Notes in Computer Science, cartea 14401

Editat de Nina Gierasimczuk, Fernando R. Velázquez-Quesada
en Limba Engleză Paperback – 13 ian 2024
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 31876 lei

Preț vechi: 39844 lei
-20% Nou

Puncte Express: 478

Preț estimativ în valută:
6101 6342$ 5054£

Carte tipărită la comandă

Livrare economică 05-19 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783031517761
ISBN-10: 3031517768
Pagini: 137
Ilustrații: XI, 137 p. 19 illus., 6 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.22 kg
Ediția:1st ed. 2024
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

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.