Buscas alternativas:
teoremas » teorema (Expandir a busca), teorias (Expandir a busca), teores (Expandir a busca)
teoremas » teorema (Expandir a busca), teorias (Expandir a busca), teores (Expandir a busca)
1
2
Assuntos:
“...[pt] PROVA DE TEOREMAS...”
[pt] INFRAESTRUTURA PARA PROVADORES INTERATIVOS DE TEOREMAS NA WEB
Tese
3
Assuntos:
“...Prova de Teoremas...”
Proposta de táticas para prova de teoremas de gramática de grafos.
Dissertação
4
Assuntos:
“...Prova de teorema...”
Implementação de um provador automático de teoremas com paralelismo
Dissertação