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
1.1
Ontologias e Web Semântica
1.2
Tablôs Analíticos
1.3
A lógica paraconsistente C_1, de Newton da Costa
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
Dissertação de Mestrado de Arthur Buchsbaum
Logics of Formal Inconsistency
Visualizações
Página
Discussão
Ver código-fonte
Histórico
Ferramentas pessoais
3.15.34.122
Discussão para este IP
Autenticar-se
Wiki pública do DAINF
Página principal
Organização
Professores
Pesquisas e Projetos
Cursos
Disciplinas
Eventos atuais
Publicações
Infraestrutura
Contatos
Navegação
Portal comunitário
Mudanças recentes
Página aleatória
Ajuda
sitesupport
Pesquisar
Ferramentas
Páginas afluentes
Alterações relacionadas
Páginas especiais
Versão para impressão
Link permanente