Provar Invalidade
11 Dezembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Provar Invalidade no Cálculo de Predicados.
Expansão e interpretação de fórmulas num domínio de objectos subjacente.
11 Dezembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Provar Invalidade no Cálculo de Predicados.