Počet záznamů: 1
Dynamic Logic. New Trends and Applications. Revised Selected Papers
- 1.
SYSNO ASEP 0584356 Zařazení RIV Záznam nebyl označen do RIV Název Dynamic Logic. New Trends and Applications. Revised Selected Papers Tvůrce(i) Gierasimczuk, N. (ed.)
Velázquez-Quesada, F. R. (ed.)Rok vydání 2024 ISBN 978-3-031-51777-8 Edice Lecture Notes in Computer Science Č. sv. edice 14401 Země vyd. CH - Švýcarsko
Počet záznamů: 1