Sumários
Inferência de lógica de predicados de 1ª ordem (Dedução)
19 Abril 2024, 21:00 • Mariana Catela Jacob Rodrigues
Exercícios sobre inferência de lógica de predicados de 1ª ordem (dedução).
Inferência de lógica de predicados de 1ª ordem (Dedução)
19 Abril 2024, 18:00 • Mariana Catela Jacob Rodrigues
Exercícios sobre inferência de lógica de predicados de 1ª ordem (dedução).
Inferência de lógica de predicados de 1ª ordem (Dedução)
19 Abril 2024, 11:00 • Mariana Catela Jacob Rodrigues
Exercícios sobre inferência de lógica de predicados de 1ª ordem (dedução).
Inferência de lógica de predicados de 1ª ordem (Dedução)
19 Abril 2024, 11:00 • Filipa Ribeiro Sá da Costa
Exercícios sobre inferência de lógica de predicados de 1ª ordem (dedução).
Inferência de lógica de predicados de 1ª ordem (Dedução)
19 Abril 2024, 09:30 • Mariana Catela Jacob Rodrigues
Exercícios sobre inferência de lógica de predicados de 1ª ordem (dedução).