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

De Wiki DAINF

Edição feita às 13h00min 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

Tabela de conteúdo

1 Material para os Trabalhos

Material para os Trabalhos

Ontologias e Web Semântica

Tutorial básico do Protege

Tablôs Analíticos

A lógica paraconsistente C_1, de Newton da Costa

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=1142"

Visualizações

Ferramentas pessoais

Autenticar-se

Pesquisar

Ferramentas