Mostrando 1 - 2 resultados de 2 para a busca 'Carnielli, Walter Alexandre, 1952-', tempo de busca: 0,01s

1

Construção de formas quadraticas a coeficientes inteiros, unimodulares, positivas definidas em dimensões menores ou iguais a 16

Publicado em 1978
Acessar documento
Dissertação

2

Sobre o metodo dos tableaux em logicas polivalentes finitarias

Publicado em 1982
Acessar documento
Tese