EF
Elisabete Maria da Silva Raposo Freire
elisabete maria da silva raposo freire | freire, elisabete maria da silva raposo | elisabete freire | elisabete raposo freire
Elisabete Maria da Silva Raposo Freire. Concluiu o(a) Doutoramento em Doutoramento em Informática em 2004 pelo(a) Universidade dos Açores.
R&D Entities
FCT - Faculdade de Ciências e Tecnologia
Perfis Externos
Áreas de Conhecimento
Financing Entities
Partilhar este perfil:
of 4 Publicações
De quem é o peixe? Da lógica à programação (Cap VII)
2018
Elisabete Freire
Investigar em Educação Matemática: Diálogos e Conjunções numa Perspetiva Interdisciplinar
Ciência Vitae
Defining Behaviours by Quasi-finality
2009
Freire, Elisabete; Monteiro, Luís
Formal Methods: Foundations and Applications
Ciência Vitae
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
2009
Calude, C
Ciência Vitae
Unconventional Computation - 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings
2009
Elisabete Freire
Ciência Vitae
1 Research Project
0 Services Provisions
Não existem prestações de serviço
Training
Training
| 2004 |
Doutoramento Doutoramento em Informática Especialização em Outra:Teoria da Computação Universidade dos Açores, Portugal (TESE/DISSERTAÇÃO) "Contributos para o Estudo da Semântica de Linguagens com Concorrência e Mobilidade" |
| 1992 - 1995 |
Mestrado Pré-Bolonha Engenharia Informática Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal (TESE/DISSERTAÇÃO) "A Negação na Modularidade em Programação em Lógica" |
| 1985 - 1990 |
Licenciatura Matemática/Informática Universidade dos Açores, Portugal |
Áreas de Conhecimento
Biography
Elisabete Maria da Silva Raposo Freire. Concluiu o(a) Doutoramento em Doutoramento em Informática em 2004 pelo(a) Universidade dos Açores. É Professor Auxiliar no(a) Universidade dos Açores. Possui 1 capítulo(s) de livros. Atua na(s) área(s) de Ciências Exatas com ênfase em Ciências da Computação e da Informação com ênfase em Ciências da Computação.
