Famílias de problemas difíceis

De Wiki DAINF

Edição feita às 18h29min de 11 de setembro de 2008 por Adolfo (disc | contribs)

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

Ir para: navegação, pesquisa

Famílias de problemas difíceis para lógica proposicional clássica

Famílias de problemas difíceis para lógicas proposicionais paraconsistentes

Para lógicas de inconsistência formal

Obtida de "http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Fam%C3%ADlias_de_problemas_dif%C3%ADceis&oldid=444"

Visualizações

Ferramentas pessoais

Autenticar-se

Pesquisar

Ferramentas