Um Ambiente Genérico de Dedução Automática Baseado em Resolução

Detalhes bibliográficos
Autor(a) principal: JOSE MARIA COELHO FILHO
Data de Publicação: 1993
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_9c48834293cb649ceec8ec9184d0df4a
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Um Ambiente Genérico de Dedução Automática Baseado em Resolução
title Um Ambiente Genérico de Dedução Automática Baseado em Resolução
spellingShingle Um Ambiente Genérico de Dedução Automática Baseado em Resolução
JOSE MARIA COELHO FILHO
title_short Um Ambiente Genérico de Dedução Automática Baseado em Resolução
title_full Um Ambiente Genérico de Dedução Automática Baseado em Resolução
title_fullStr Um Ambiente Genérico de Dedução Automática Baseado em Resolução
Um Ambiente Genérico de Dedução Automática Baseado em Resolução
title_full_unstemmed Um Ambiente Genérico de Dedução Automática Baseado em Resolução
Um Ambiente Genérico de Dedução Automática Baseado em Resolução
title_sort Um Ambiente Genérico de Dedução Automática Baseado em Resolução
publishDate 1993
format masterThesis
author_role author
author JOSE MARIA COELHO FILHO
author_facet JOSE MARIA COELHO FILHO
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/1892024298756876
dc.publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
instname_str PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESUm Ambiente Genérico de Dedução Automática Baseado em ResoluçãoUm Ambiente Genérico de Dedução Automática Baseado em ResoluçãoUm Ambiente Genérico de Dedução Automática Baseado em ResoluçãoUm Ambiente Genérico de Dedução Automática Baseado em ResoluçãoUm Ambiente Genérico de Dedução Automática Baseado em ResoluçãoUm Ambiente Genérico de Dedução Automática Baseado em ResoluçãoUm Ambiente Genérico de Dedução Automática Baseado em Resolução1993masterThesisauthorJOSE MARIA COELHO FILHOhttp://lattes.cnpq.br/1892024298756876PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROPONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROPONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv FILHO, JOSE MARIA COELHO. Um Ambiente Genérico de Dedução Automática Baseado em Resolução. 1993. Tese.
dc.identifier.citation.fl_str_mv FILHO, JOSE MARIA COELHO. Um Ambiente Genérico de Dedução Automática Baseado em Resolução. 1993. Tese.
_version_ 1741884385873887232

Registros relacionados