Dynamic logic : new trends and applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers

Dynamic logic : new trends and applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers / Carlos Areces, Diana Costa, editors.

保存先:
書誌詳細
団体著者: DaLí (International Workshop) Online)
その他の著者: Areces, Carlos (編集者), Costa, Diana (編集者)
フォーマット: eBook
言語:English
出版事項: Cham, Switzerland : Springer, 2023.
シリーズ:Lecture notes in computer science ; 13780.
主題:
Computer logic > Congresses.
Software engineering > Congresses.
Computer networks > Congresses.
Computer logic
Computer networks
Software engineering
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
オンライン･アクセス:Click for online access
ログイン （予約･返却請求情報入力）

インターネット

Click for online access

Online

予約･返却請求 Online
利用可

類似資料