Počet záznamů: 1
Dynamic Logic. New Trends and Applications. Revised Selected Papers
- 1.
SYSNO 0584356 Název Dynamic Logic. New Trends and Applications. Revised Selected Papers Tvůrce(i) Gierasimczuk, N. (ed.)
Velázquez-Quesada, F. R. (ed.)Vyd. údaje Cham: Springer, 2024 Edice Lecture Notes in Computer Science , 14401 ISBN 978-3-031-51777-8 Druh dok. BXXS Země vyd. CH Katal.org. CAV Odkazy (1) - Konferenční příspěvek (zahraniční konference)
Počet záznamů: 1