1
Assuntos:
“...Formula synthesis...”
Synthesis of first-order sentences using Ehrenfeucht–Fraïssé games and Boolean satisfiability
Tese
2
“.... Um ponto crucial dela é o uso do “lema do achatamento” (flattening lemma), primeiramente formulado...”
First steps in homotopy type theory
Dissertação
3
4
“...:divisibilidade, critério de divisibilidade,fórmula de Zeller, Propriedades das Congruências Modulares , Função...”
Uma fórmula alternativa à formula de Zeller para determinação de datas
Dissertação
5
6
Assuntos:
“...[en] FIRST-ORDER MODAL LOGIC...”
[en] FIRST-ORDER MODAL LOGIC FOR REASONING ABOUT GAMES
Tese
7
“.... O nosso objetivo principal foi verificar: a) a eficácia das fórmulas usualmente empregadas pelos Serviços...”
Umidade relativa e temperatura do ar: fórmulas usuais e fórmulas novas com horários para leituras simultâneas
Tese
11
12
13
14
“... as formulas de substituicao para estas integrais: 'INT.SUP.B.INF.A'dt ['INT...”
Formulas de substituição para as integrais de gauge
Dissertação
15
“... e algumas de suas características e propriedades, dentre elas uma fórmula geradora de números primos...”
Números primos: uma fórmula geradora
Dissertação