Vasco Tavares Pedro
AuthID: R-001-MXY
1
TÃTULO: Constraint Solving on Hybrid Systems
AUTORES: Pedro Roque; Vasco Pedro;
PUBLICAÇÃO: 2018, FONTE: International Conference on Declarative Programming (DECLARE) in DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, DECLARE 2017, VOLUME: 10997
AUTORES: Pedro Roque; Vasco Pedro;
PUBLICAÇÃO: 2018, FONTE: International Conference on Declarative Programming (DECLARE) in DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, DECLARE 2017, VOLUME: 10997
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
TÃTULO: Modules and specifications Full Text
AUTORES: Pedro, V; Monteiro, L;
PUBLICAÇÃO: 1996, FONTE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1126
AUTORES: Pedro, V; Monteiro, L;
PUBLICAÇÃO: 1996, FONTE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1126
