Dynamic Logic. New Trends and Applications

Dynamic Logic. New Trends and Applications
Autor
Nina Gierasimczuk, Fernando R. Velázquez-Quesada
Matèria
Editor
Springer Nature
Data publicació
2024
Identificador
9783031517778
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-031-51777-8