Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Areces, Carlos.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Dynamic logic : new trends and applications = 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers / by: DaLi (International Workshop) (2022 :); Areces, Carlos.; Costa, Diana.; SpringerLink (Online service) (Electronic resources)

Subjects

Software engineering Logic. Mathematical Logic and Foundations. Software Engineering. Logic in AI. Computer logic Computer networks Computer Communication Networks.

Change password

Login