1
Assuntos:
“...Inferencia...”
Formas normais de fórmulas em lógica de primeira ordem e aplicações em dedução automática
Tese