Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"E-Prover"”.
-
Literatura na hospitalização infantil: "um remédio para alma."
… dessa temática dirigidas ao leitor iniciante, e prover aos professores das Classes Hospitalares de informações que permitam intervenções melhor focadas nas possibilidades verdadeiramente estimuladoras da mediação de leitura para além daquelas fundadas na percepção de senso comum.
-
Ozônio como alternativa de manejo de resistência à fosfina
… das populações na ausência de pressão seletiva e prover evidências de custos adaptativos associados à resistência à fosfina. Foram utilizadas 16 populações brasileiras de T. castaneum, 11 de R. dominica e nove de O. surinamensis coletadas nos estados de Goiás, Mato Grosso, Mato Grosso do Sul, …
-
Rewriting Prover9
Prover9/Mace4 were the most popular automated theorem provers (ATP) among mathematicians. They had a number of peculiarities that made them especially helpful for research and for teaching. When their author, Bill McCune, died the programs’ destiny was sealed and that was a great loss for many …
-
Gasto energético e intensidade das atividades físicas dos jogos ativos de vídeo games em crianças e adolescentes
… sedentário, aumentar o gasto energético, e prover atividade física de intensidade leve à moderada. No entanto, a participação nessas atividades virtuais não deve substituir, mas complementar as atividades físicas habituais de crianças e adolescente.