Mostrando 1 - 2 resultados de 2 para a busca '"[pt] COMPRESSAO DE PROVA"', tempo de busca: 0,36s

1

Assuntos: “...[pt] COMPRESSAO DE PROVA...”

[en] AN EXPERIMENTAL APPROACH ON MINIMAL IMPLICATIONAL NATURAL DEDUCTION PROOFS COMPRESSION

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

2

Assuntos: “...[pt] COMPRESSAO DE PROVA...”

[en] ARGUING NP = PSPACE: ON THE COVERAGE AND SOUNDNESS OF THE HORIZONTAL COMPRESSION ALGORITHM

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