Dynamic Logic. New Trends and Applications
5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers
Lecture Notes in Computer Science 14401
Herausgegeben:Gierasimczuk, Nina
Velá
zquez-Quesada, Fernando R.
- 出版社：Springer, Berlin; Springer Nature Switzerland; Spring
- 出版年月：2024年 02月
- ISBN：9783031517761
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：1st ed. 2024. 2024. xi
- 巻数・ページ数：145 p.