benedicto-silva-clementino documents

Prova Automática de Teoremas Resolução no Cálculo dos Predicados e das Proposições
Documents Prova Automática de Teoremas Resolução no Cálculo dos Predicados e das Proposições