Dissertações de doutorado

1. ``Criação de Ferramentas para o Ambiente Prolog e o Acesso de Novatos ao Paradigma da Programação em Lógica'', Aluno: M.C.C.Baranauskas, Orientador: F.A.C.Gomide, Data da defesa: 01/02/1993.