T_22
11 Janeiro 2022, 10:30 • Mário Jorge Edmundo
Vários exemplos de aplicações dos algoritmos de Horn para a tt-satisfazibilidade, da resolução para a tt-satisfazibilidade e da resolução para a satisfazibildade.
11 Janeiro 2022, 10:30 • Mário Jorge Edmundo
Vários exemplos de aplicações dos algoritmos de Horn para a tt-satisfazibilidade, da resolução para a tt-satisfazibilidade e da resolução para a satisfazibildade.