Para uma teoria de traduções entre lógicas cumulativas

Autor: 
Mauro Cesar Scheer
Ano da Defesa: 
2002
Orientador: 
Ítala Maria Loffredo D'Ottaviano
Tipo / Subtipo: 
Dissertação
Programa: