Počet záznamů: 1
Dynamic Logic. New Trends and Applications. Revised Selected Papers
SYS 0584356 LBL 00240nx^^^22001213^^450 005 20240318222755.9 010 $a 978-3-031-51777-8 011 $e 1611-3349 100 $a 20240318aczey0103 ba 102 $a CH 110 $a a 200 1-
$a Dynamic Logic. New Trends and Applications. Revised Selected Papers 210 $a Cham $c Springer $d 2024 225 $a Lecture Notes in Computer Science $v 14401 702 -1
$a Gierasimczuk $b N. $4 340 702 -1
$a Velázquez-Quesada $b F. R. $4 340 801 $a CZ $b CAV $c 20240318
Počet záznamů: 1