Isbn: 9783031517761 - dynamic logic. new trends and applications: 5th international workshop, dalí 2023, tbilisi, georgia, september 15–16, 2023, revised selected papers: 14401 (lecture notes in computer science) (15 resultados)

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New. In.

Condición: New.

Condición: As New. Unread book in perfect condition.

Paperback. Condición: Brand New. revised edition. 148 pages. 9.26x6.11x0.33 inches. In Stock.

Condición: New.

Taschenbuch. Condición: Neu. Dynamic Logic. New Trends and Applications | 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers | Nina Gierasimczuk (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2024 | Springer | EAN 9783031517761 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condición: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | 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.…

Condición: new. Questo è un articolo print on demand.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 152 pp. Englisch.…

Condición: New. PRINT ON DEMAND.

Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 152 pp. Englisch.…