Revisão de Crenças Paraconsistente baseada em um operador formal de consistência | Instituto de Filosofia e Ciências Humanas

Autor:

Rafael Rodrigues Testa

Ano da Defesa:

2014

Orientador:

Marcelo Esteban Coniglio

Link para Biblioteca Digital:

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

Banca:

Marcelo Esteban Coniglio [Orientador], Sílvio Seno Chibeni, Renata Wassermann, Wagner de Campos Sanz, Walter Alexandre Carnielli

Link para Biblioteca Digital:

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

Tipo / Subtipo:

Tese

Programa: