I. Sedl?R
AuthID: R-00J-S5D
1
TITLE: Preface
AUTHORS: Martins, MA ; Sedlár, I;
PUBLISHED: 2020, SOURCE: 3rd International Workshop on Dynamic Logic, DaLí 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12569 LNCS
AUTHORS: Martins, MA ; Sedlár, I;
PUBLISHED: 2020, SOURCE: 3rd International Workshop on Dynamic Logic, DaLí 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12569 LNCS
INDEXED IN: 
Scopus
Scopus