Sumários

TP07

31 Outubro 2025, 10:30 • Diogo Soares

Resolução de Guião Python sobre Problemas de Satisfação de Restrições (CSP)


TP07

31 Outubro 2025, 10:30 • Sara Silva

Resolução de Guião Python sobre Problemas de Satisfação de Restrições (CSP)


Lógica de 1ª ordem

31 Outubro 2025, 09:30 • Luís Miguel Parreira e Correia

Lógica de 1ª ordem; Inferência; Prolog


TP07

30 Outubro 2025, 12:00 • Sara Silva

Resolução de Guião Python sobre Problemas de Satisfação de Restrições (CSP)


TP07

29 Outubro 2025, 11:30 • Sara Silva

Resolução de Guião Python sobre Problemas de Satisfação de Restrições (CSP)