AULA 17

16 Novembro 2018, 09:30 • Fernando Ferreira

Variáveis. Termos. 

Substituição simultânea de variáveis por termos. Termos unificáveis e substituições unificadoras. Exemplos.