Cover von Dynamic Logic opens in new tab

Dynamic Logic

New Trends and Applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23 - 24, 2017, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10669
Media group: MONOGRAPHIE
available

Copies

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

Content

International Workshop on Dynamic Logic <1, 2017, Brasilia>

Details

Search for this author
Year: 2018
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-319-73578-8
ISBN (2nd): 3-319-73578-0
Description: IX, 200 S.
Series: Lecture notes in computer science; 10669
Participating parties: Search for this character Madeira, Alexandre; Benevides, Mario
Media group: MONOGRAPHIE