Dynamic logic : new trends and applications : Second International Workshop... / ed. Luís Soares Barbosa, Alexandru Baltag
Secondary Author
Barbosa, L. S.
Baltag, Alexandru
Corporate Author (Secondary)
International Workshop (DaLí 2019), 2, Porto, 2019
Country
Suiça.
Publication
Cham : Springer, cop. 2020
Description
X, 226, [1] p. :
il. ;
24 cm
Series
Lecture notes in computer science , 12005
ISBN
978-3-030-38807-2
CDU
519.6
681.3
There are no comments for this item.