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

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Awdur Corfforaethol:	DaLí (International Workshop) Online)
Awduron Eraill:	Areces, Carlos (Golygydd), Costa, Diana (Golygydd)
Fformat:	eLyfr
Iaith:	English
Cyhoeddwyd:	Cham, Switzerland : Springer, 2023.
Cyfres:	Lecture notes in computer science ; 13780.
Pynciau:	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 congrès.
Mynediad Ar-lein:	Click for online access

Click for online access

Manylion daliadau o Online
	Ar gael

Eitemau Tebyg