Cover von Dynamic Logic opens in new tab

Dynamic Logic

New Trends and Applications : 4th International Workshop, DaLi 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13780
Media group: MONOGRAPHIE
available

Copies

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

Content

International Workshop on Dynamic Logic <4, 2022, Haifa>

Details

Search for this author
Year: 2023
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-031-26621-8
ISBN (2nd): 3-031-26621-8
Description: 153 S.
Series: Lecture notes in computer science; 13780
Participating parties: Search for this character Areces, Carlos; Costa, Diana
Media group: MONOGRAPHIE