Vasco Tavares Pedro
AuthID: R-001-MXY
1
TITLE: Constraint Solving on Hybrid Systems
AUTHORS: Pedro Roque; Vasco Pedro;
PUBLISHED: 2018, SOURCE: International Conference on Declarative Programming (DECLARE) in DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, DECLARE 2017, VOLUME: 10997
AUTHORS: Pedro Roque; Vasco Pedro;
PUBLISHED: 2018, SOURCE: International Conference on Declarative Programming (DECLARE) in DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, DECLARE 2017, VOLUME: 10997
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Modules and specifications Full Text
AUTHORS: Pedro, V; Monteiro, L;
PUBLISHED: 1996, SOURCE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1126
AUTHORS: Pedro, V; Monteiro, L;
PUBLISHED: 1996, SOURCE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1126
