Sumários
Lógica Proposicional- Resolução
25 novembro 2022, 08:00 • Ana Paiva
Lógica Proposicional- Resolução
Fim de secção 3.1
Lógica Proposicional
24 novembro 2022, 10:00 • Ana Paiva
Cap2. Secção 2.2.
Cap 3. Inicio da Resolução. 3.1.