Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 21-30 de um total de 45 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Dez-2021A coinductive approach to proof search through typed lambda-calculiEspírito Santo, José; Matthes, Ralph; Pinto, Luís F.ArtigoAcesso aberto
16-Nov-2021Numerical study of hydrodynamic resistance on a sportive sprint hullBarros, Francisco; Viriato, Nuno; Veiga Rodrigues, Carlos; Ferrás, Luís Jorge Lima; Vaz, Mário A. P.; Afonso, Alexandre M.ArtigoAcesso aberto
Mai-2018Computational Aspects of Quaternionic Polynomials - Part I: Manipulating, Evaluating and FactoringFalcão, M. I.; Miranda, Fernando; Severino, Ricardo; Soares, M. J.ArtigoAcesso aberto
2008ω-terms over finite aperiodic semigroupsAlmeida, Jorge; Costa, José Carlos; Zeitoun, MarcArtigo em ata de conferênciaAcesso aberto
2019Integrating science, technology, engineering and mathematics contents through PBL in an industrial engineering and management first year programAlves, Anabela Carvalho; Moreira, Francisco; Carvalho, M. Alice; Oliveira, Sérgio Manuel Costa; Malheiro, M. Teresa; Brito, Irene; Leão, Celina Pinto; Teixeira, S. F. C. F.ArtigoAcesso aberto
2008On bases of identities for the ω-variety generated by locally testable semigroupsCosta, José Carlos; Nogueira, ConceiçãoArtigoAcesso aberto
2014Weak morphisms of higher dimensional automataKahl, ThomasArtigoAcesso restrito UMinho
2004Reducibility of joins involving some locally trivial pseudovarietiesCosta, José CarlosArtigoAcesso aberto
31-Mai-2014A dynamic neural field approach to natural and efficient human-robot collaborationErlhagen, Wolfram; Bicho, E.Capítulo de livroAcesso aberto
Mar-2009Complete reducibility of the pseudovariety LSlCosta, José Carlos; Nogueira, ConceiçãoArtigoAcesso aberto
21-30 de um total de 45 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir