Menu
Află starea comenzii
Contactați-ne
Carte Dynamic Logic. New Trends and Applications Carlos Areces

Dynamic Logic. New Trends and Applications

4th International Workshop, DaLi 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers

Autor: Carlos Areces, Diana Costa
Limbă: engleză
Legare: Carte broșată
Editura: Springer Nature B.V.
Disponibilitate: În depozitul extern
Expediem în 10-18 zile
289.22 lei
This book constitutes revised selected papers from the refereed proceedings of the 4th International...

Informații despre carte

Autor
Carlos Areces, Diana Costa
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2023
Pagini
172
EAN
9783031266232
Enbook ID
43418026
Editura
Springer Nature B.V.
Greutate
251
Dimensiuni
156 x 234

Descriere completă

This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLí 2022, held in Haifa, Israel, in July/August 2022.


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