Sumários

Aula 5

28 março 2019, 08:00 • Maria dos Remédios Vaz Pereira Lopes Cravo

Exercícios sobre Programação em Lógica.

Aula 5

27 março 2019, 11:00 • Ernesto José Marques Morgado

Exercícios sobre programação em lógica: resolução SLD, árvores SLD.

5ªP

26 março 2019, 11:30 • Helena Sofia Andrade Nunes Pereira Pinto

Resolução SLD e Árvores SLD.

5ªP

26 março 2019, 10:00 • Helena Sofia Andrade Nunes Pereira Pinto

Resolução SLD e Árvores SLD.

5ªP

25 março 2019, 15:00 • Helena Sofia Andrade Nunes Pereira Pinto

Resolução SLD e Árvores SLD.