Cover von Dynamic Logic opens in new tab

Dynamic Logic

New Trends and Applications : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15 - 16, 2023, Revised Selected Papers
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14401
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNCS 14401 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

International Workshop on Dynamic Logic <5, 2023, Tbilisi>

Details

Search for this author
Year: 2024
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-031-51776-1
ISBN (2nd): 3-031-51776-8
Description: 135 S.
Series: Lecture notes in computer science; 14401
Participating parties: Search for this character Gierasimczuk, Nina; Velázquez-Quesada, Fernando R.
Media group: MONOGRAPHIE