● Especialidade · termo do Lattes
Métodos Formais
Ciências Exatas e da TerraCiência da ComputaçãoTeoria da Computação
Ranking no sistema
6448ª de 18k especialidades
Hierarquia CNPq
Ciências Exatas e da Terra → Ciência da Computação → Teoria da Computação
Professores
1
que já usaram o termo
Usos
6
menções no Lattes
Unidades
1
com produção na área
Departamentos
1
envolvidos
Quem mais utilizatop 6
Distribuição por unidade1 unidades
Instituto de Ciências Exatas