Lógica para Computação - Turmas S71 e S73 - 2009.1

De Wiki DAINF

Edição feita às 13h02min de 12 de março de 2009 por Adolfo (disc | contribs)

(dif) ← Versão anterior | ver versão atual (dif) | Versão posterior → (dif)

Ir para: navegação, pesquisa

Material para os Trabalhos

Ontologias e Web Semântica
- Tutorial básico do Protege
Tablôs Analíticos ===
A lógica paraconsistente <math>C_1</math>, de Newton da Costa
- Dissertação de Mestrado de Arthur Buchsbaum
- Logics of Formal Inconsistency

Obtida de "http://dainf.ct.utfpr.edu.br/wiki/index.php?title=L%C3%B3gica_para_Computa%C3%A7%C3%A3o_-_Turmas_S71_e_S73_-_2009.1&oldid=1145"

Visualizações

Ferramentas pessoais

Autenticar-se

Pesquisar

Ferramentas