1
Assuntos:
“...Inferencia...”
Formas normais de fórmulas em lógica de primeira ordem e aplicações em dedução automática
Tese
2
Assuntos:
“...Inferencia (Logica)...”
Um método de inferência lógica baseado na transformação dual /
Dissertação