Um Estudo sobre os Algoritmos de Unificação de Termo do Cálculo de Predicados de Primeira Ordem
Autores
|
246 |
Leila Maria Ripoll Eizirik
|
26
|
Informações:
Publicações do PESC
Título
Um Estudo sobre os Algoritmos de Unificação de Termo do Cálculo de Predicados de Primeira Ordem
Linha de pesquisa
Tipo de publicação
Relatório Técnico
Número de registro
ES-116/86
Data
7/1986
Resumo
Abstract
Arquivo