Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783031517761
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
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. They deal with new trends and applications in the area of Dynamic Logic.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2024 |
| Udgivelsesdato | 13-01-2024 |
| Første udgivelsesår | 2024 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 6 Illustrations, color; 13 Illustrations, black and white; XI, 137 p. 19 illus., 6 illus. in color. |
| Fagredaktør | Nina Gierasimczuk, Fernando R. Velazquez-Quesada |
| Originalsprog | Switzerland |
| Sideantal | 137 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 137 pages, 6 Illustrations, color; 13 Illustrations, black and white; XI, 137 p. 19 illus., 6 illus. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783031517761 |