Inferência de lógica de predicados de 1ª ordem (Dedução)

27 Fevereiro 2026, 11:00 • Filipa Ribeiro Sá da Costa

---

Inferência de lógica de predicados de 1ª ordem (Dedução)

27 Fevereiro 2026, 09:30 • Filipa Ribeiro Sá da Costa

---

Inferência de lógica de predicados de 1ª ordem (Dedução)

27 Fevereiro 2026, 08:00 • Filipa Ribeiro Sá da Costa

---

Inferência de lógica de predicados de 1ª ordem (Dedução)

26 Fevereiro 2026, 14:30 • Sofia Silva

---

Inferência de lógica de predicados de 1ª ordem (Dedução)

26 Fevereiro 2026, 11:00 • Sofia Silva

---