Lógica de 1ª ordem

18 Outubro 2021, 09:30 • Luís Miguel Parreira e Correia

Lógica de 1ª ordem
Inferência: substituição, unificação
O contexto de Engenharia do Conhecimento