Famílias de problemas difíceis
De Wiki DAINF
(Diferença entre revisões)
(→Famílias de problemas difíceis para lógicas proposicionais inconsistentes) |
(→Famílias de problemas difíceis para lógica proposicional clássica) |
||
| Linha 1: | Linha 1: | ||
| − | == | + | == Para lógica proposicional clássica == |
* [[PHP]] | * [[PHP]] | ||
