Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Publicações Confirmadas: 129



111
TÍTULO: Aspects of enumeration and generation with a string automata representation
AUTORES: Almeida, M; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2006, FONTE: 8th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2006 in 8th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2006 - Proceedings
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
112
TÍTULO: Designing a solver for arithmetic constraints to support education in mathematics  Full Text
AUTORES: Ana Paula Tomas ; Nelma Moreira ; Nuno Pereira;
PUBLICAÇÃO: 2006, FONTE: 3rd IFIP Conference on Artificial Intelligence Applications and Innovation (AIAI 2006) in Artificial Intelligence Applications and Innovations, VOLUME: 204
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
113
TÍTULO: Interactive manipulation of regular objects with FAdo
AUTORES: Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2005, FONTE: ITiCSE 2005: 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education in Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
114
TÍTULO: On the density of languages representing finite set partitions
AUTORES: Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2005, FONTE: Journal of Integer Sequences, VOLUME: 8, NÚMERO: 2
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
115
TÍTULO: On the representation of finite automata
AUTORES: Reis, R ; Moreira, N ; Almeida, M;
PUBLICAÇÃO: 2005, FONTE: 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 in 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 - Proceedings
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
116
TÍTULO: Towards an architecture for Emotional BDI agents
AUTORES: David Pereira ; Eugnio Oliveira ; Nelma Moreira ; Lus Sarmento;
PUBLICAÇÃO: 2005, FONTE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings
INDEXADO EM: WOS CrossRef: 26
NO MEU: ORCID | CIÊNCIAVITAE
117
118
TÍTULO: Constraint Categorial Grammars
AUTORES: Luís Damas ; Nelma Moreira ;
PUBLICAÇÃO: 1995, FONTE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
119
TÍTULO: Constraint Categorial Grammars PDF
AUTORES: Luís Damas; Nelma Moreira ;
PUBLICAÇÃO: 1995, FONTE: CoRR, VOLUME: abs/cmp-lg/9507001
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
120
TÍTULO: Resolution of Constraints in Algebras of Rational Trees
AUTORES: Luís Damas ; Nelma Moreira ; Sabine Broda ;
PUBLICAÇÃO: 1993, FONTE: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 in Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 12 de 13. Total de resultados: 129.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service