I. ?U?U
AuthID: R-00H-GKC
1
TÃTULO: Logics for actor networks: A case study in constrained hybridization: A case study in constrained hybridization
AUTORES: Fiadeiro, J; Ţuţu, I; Lopes, A ; Pavlovic, D;
PUBLICAÇÃO: 2018, FONTE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS
AUTORES: Fiadeiro, J; Ţuţu, I; Lopes, A ; Pavlovic, D;
PUBLICAÇÃO: 2018, FONTE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS
INDEXADO EM: 
Scopus
Scopus