Omslagsbillede

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /

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 wit...

Fuld beskrivelse

Saved in:
Bibliografiske detaljer
Institution som forfatter: SpringerLink (Online service)
Andre forfattere: Gierasimczuk, Nina (Editor), Velázquez-Quesada, Fernando R. (Editor)
Format: Electronisk eBog
Sprog:engelsk
Udgivet: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Udgivelse:1st ed. 2024.
Serier:Lecture Notes in Computer Science, 14401
Fag:
Computer science.
Mathematical logic.
Logic programming.
Software engineering.
Computer networks .
Computer Science Logic and Foundations of Programming.
Mathematical Logic and Foundations.
Logic in AI.
Software Engineering.
Computer Communication Networks.
Online adgang:https://doi.org/10.1007/978-3-031-51777-8
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Beskrivelse
Summary: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.
Fysisk beskrivelse:1 online resource (XI, 137 p. 19 illus.). 6 illus. in color.
ISBN:9783031517778
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-51777-8

Lignende værker