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

Descripció completa

Dades bibliogràfiques

Autor corporatiu:	SpringerLink (Online service)
Altres autors:	Gierasimczuk, Nina (Editor), Velázquez-Quesada, Fernando R. (Editor)
Format:	Electrònic eBook
Idioma:	anglès
Publicat:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edició:	1st ed. 2024.
Col·lecció:	Lecture Notes in Computer Science, 14401
Matèries:	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.
Accés en línia:	https://doi.org/10.1007/978-3-031-51777-8
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!