Počet záznamů: 1
Dynamic Logic. New Trends and Applications. Revised Selected Papers
- 1.0584356 CH BXXS
Gierasimczuk, N. (ed.) - Velázquez-Quesada, F. R. (ed.)
Dynamic Logic. New Trends and Applications. Revised Selected Papers.
Cham: Springer, 2024. Lecture Notes in Computer Science, 14401. ISBN 978-3-031-51777-8. E-ISSN 1611-3349
Počet záznamů: 1