Buscas alternativas:
provadores automaticos » geradores automaticos (Expandir a busca), religadores automaticos (Expandir a busca), tradutores automaticos (Expandir a busca)
Mostrando 1 - 2 resultados de 2 para a busca '"[pt] PROVADORES AUTOMATICOS DE TEOREMAS"', tempo de busca: 0,19s

1

Assuntos: “...[pt] PROVADORES AUTOMATICOS DE TEOREMAS...”

[en] A GRAPH BASED THEOREM PROVING PLATFORM WITH STRATEGIES

Publicado em 2017
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Tese

2

Assuntos: “...Provadores automáticos de teoremas...”

Validação de uma especificação TDevC para o desenvolvimento de device drives robustos

Publicado em 2016
Acessar documento
Dissertação