Traduções

4 Dezembro 2015, 14:00 • Maria Adriana Sequeira da Silva Graça

Traduções de frases da linguagem corrente na linguagem do Cálculo de Predicados de Primeira Ordem.