Francisco de Moura e Castro Ascensão de Azevedo
AuthID: R-000-5AG
11
TÃTULO: A prototype for general planning
AUTORES: Francisco A Azevedo;
PUBLICAÇÃO: 2005, FONTE: Portuguese Conference on Artificial Intelligence in 2005 PORTUGUESE CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS
AUTORES: Francisco A Azevedo;
PUBLICAÇÃO: 2005, FONTE: Portuguese Conference on Artificial Intelligence in 2005 PORTUGUESE CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXADO EM: 
WOS 
CrossRef
WOS CrossRef12
TÃTULO: Modelling digital circuits problems with set constraints
AUTORES: Azevedo, F; Barahona, P ;
PUBLICAÇÃO: 2000, FONTE: 1st International Conference on Computational Logic (CL 2000) in COMPUTATIONAL LOGIC - CL 2000, VOLUME: 1861
AUTORES: Azevedo, F; Barahona, P ;
PUBLICAÇÃO: 2000, FONTE: 1st International Conference on Computational Logic (CL 2000) in COMPUTATIONAL LOGIC - CL 2000, VOLUME: 1861
INDEXADO EM: 
Scopus WOS
Scopus WOS13
TÃTULO: Differentiating diagnostic theories through constraints over an eight-valued logic
AUTORES: Azevedo, F; Barahona, P;
PUBLICAÇÃO: 2000, FONTE: 14th European Conference on Artificial Intelligence in ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 54
AUTORES: Azevedo, F; Barahona, P;
PUBLICAÇÃO: 2000, FONTE: 14th European Conference on Artificial Intelligence in ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 54
INDEXADO EM: WOS
WOS14
TÃTULO: Generation of test patterns for differential diagnosis of digital circuits
AUTORES: Azevedo, F; Barahona, P;
PUBLICAÇÃO: 1998, FONTE: 4th International Conference on Principles and Practice of Constraint Programming (CP 98) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP98, VOLUME: 1520
AUTORES: Azevedo, F; Barahona, P;
PUBLICAÇÃO: 1998, FONTE: 4th International Conference on Principles and Practice of Constraint Programming (CP 98) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP98, VOLUME: 1520
INDEXADO EM: WOS
WOS