I. Sedl?R
AuthID: R-00J-S5D
1
TÃTULO: Preface
AUTORES: Martins, MA ; Sedlár, I;
PUBLICAÇÃO: 2020, FONTE: 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
AUTORES: Martins, MA ; Sedlár, I;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: 
Scopus
Scopus