Buscas alternativas:
"Cálculo proposicional" » "Cálculo propositional" (Expandir a busca), "Cálculo proporcional" (Expandir a busca), "Cálculo proportional" (Expandir a busca)
"Cálculo proposicional" » "Cálculo propositional" (Expandir a busca), "Cálculo proporcional" (Expandir a busca), "Cálculo proportional" (Expandir a busca)
1
Assuntos:
“...Calculo proposicional...”
Resolvedor modular de satisfabilidade aplicado na verificação de circuitos combinacionais
Dissertação
2
Assuntos:
“...Cálculo proposicional...”
ASA-CALCPRO: uma ferramenta de cálculo proposional e sua utilização no ensino
Dissertação
3
Assuntos:
“...Calculo proposicional...”
Plataforma para desenvolvimento e avaliação de resolvedores SAT
Dissertação
4
Assuntos:
“...Calculo proposicional...”
Uma heurística de decisão baseada na subtração de cubos para solucionadores DPLL do problema de satisfabilidade
Tese
5
Assuntos:
“...Cálculo proposicional...”
Teoria de Categorias: uma semântica categorial para linguagens proposicionais
Dissertação