Demonstrações na algibeira : polinômios como um método universal de prova | Instituto de Filosofia e Ciências Humanas

Autor:

Mariana Matulovic da Silva

Ano da Defesa:

2013

Orientador:

Walter Alexandre Carnielli

Link para Biblioteca Digital:

http://www.bibliotecadigital.unicamp.br/document/?code=000916853

Banca:

Walter Alexandre Carnielli [Orientador], Itala Maria Loffredo D'Ottaviano, Marcelo Finger, Hugo Luiz Mariano, Jean-Yves Béziau

Link para Biblioteca Digital:

http://www.repositorio.unicamp.br/handle/REPOSIP/281059

Tipo / Subtipo:

Tese

Programa: