-
4361
-
4362BrasilPor José Mauro Magalhães Ávila Paz MoreiraObter o texto integral
Publicado em 2008
doctoralThesis -
4363PortugalPor Pinheiro, Sandra Cristina de Oliveira“... to each external formula. The reduction algorithm yields a syntactical proof of the relative consistent...”
Publicado em 2015
Obter o texto integral
masterThesis -
4364BrasilPor Hirai, S. A.Obter o texto integral
Publicado em 2021
Obter o texto integral
masterThesis -
4365
-
4366
-
4367PortugalPor Lara, Miguel Filipe Sabino Barreto deObter o texto integral
Publicado em 2022
masterThesis -
4368
-
4369
-
4370BrasilPor Taylon Gomes Landgraf“... partir de um sistema teste com resultados satisfatórios. Os resultados obtidos são analisados frente a...”
Publicado em 2014
Obter o texto integral
masterThesis -
4371BrasilPor Renata Araripe de Macêdo“... do conjunto de dados para análise e testes, permitindo-se a representação detalhada da linha de...”
Publicado em 2000
Obter o texto integral
masterThesis -
4372BrasilNovos algoritmos de aprendizado para classificação de padrões utilizando floresta de caminhos ótimosPor Castelo Fernández, César ChristianObter o texto integral
Publicado em 2011
masterThesis -
4373
-
4374PortugalPor Gonçalo Figueira“... and alternative variants of the algorithm are tested on instances based on real data from the case study...”
Publicado em 2013
Obter o texto integral
article -
4375BrasilPor Antunes, Cauã Roca“... de teste e operou um número significativamente menor de modificações sobre os alinhamentos originais...”
Publicado em 2021
Obter o texto integral
masterThesis -
4376PortugalPor Pinto, João Pedro Vicente e CamposObter o texto integral
Publicado em 2019
masterThesis -
4377
-
4378PortugalPor Macedo, João Francisco Freitas SantosObter o texto integral
Publicado em 2014
masterThesis -
4379
-
4380