Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 32 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2003Permutative conversions in intuitionistic multiary sequent calculi with cutsEspírito Santo, José; Pinto, Luís F.Capítulo de livroAcesso aberto
2006The N-membranes problem with Neumann boundary conditionAzevedo, Assis; Rodrigues, José Francisco; Santos, LisaArtigo em ata de conferênciaAcesso aberto
2009Overview on mixed integer nonlinear programming problemsFernandes, Florbela P.; Costa, M. Fernanda P.; Fernandes, Edite Manuela da G. P.Artigo em ata de conferênciaAcesso aberto
2007Completing herbelin's programmeEspírito Santo, JoséArtigo em ata de conferênciaAcesso aberto
2009On the eigenstructure of hermitian Toeplitz matrices with prescribed eigenpairsLiu Zhongyun; Li Jing; Zhang YulinArtigo em ata de conferênciaAcesso aberto
2005On asymptotic stabilization of elastic systemsCaiado, M. I.; Sarychev, A. V.Artigo em ata de conferênciaAcesso restrito UMinho
2009Comparison of filter line search algorithms in the primal-dual barrier approach for nonlinear programmingCosta, M. Fernanda P.; Fernandes, Edite Manuela da G. P.Artigo em ata de conferênciaAcesso aberto
2008Characterising strongly normalising intuitionistic sequent termsEspírito Santo, José; Ghilezan, S.; Ivetic, J.Artigo em ata de conferênciaAcesso aberto
2008Implementing Bayes’ rule with neural fieldsCuijpers, Raymond H.; Erlhagen, WolframArtigo em ata de conferênciaAcesso aberto
2009Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequentsPinto, Luís F.; Uustalu, TarmoArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 32 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir