semana 2

28 Fevereiro 2019, 14:00 • António Manuel Horta Branco

Instrumentos para Modelação do Conhecimento

Prolog: Unificação, Busca de prova. Laboratório de programação.