Lógica de 1º ordem e Programação em lógica

5 dezembro 2022, 08:00 • Ana Paiva

Fim da secção de resolução (Secção 5.2).