AULA 14
6 Novembro 2018, 10:30 • Fernando Ferreira
Forma condicional das cláusulas de Horn. Algoritmo da satisfação de Horn. Três exemplos.
Exemplo e discussão duma dedução formal fácil.
6 Novembro 2018, 10:30 • Fernando Ferreira
Forma condicional das cláusulas de Horn. Algoritmo da satisfação de Horn. Três exemplos.