UM PROVADOR DE TEOREMAS EM DEDUCAO NATURAL CAPAZ DE COMPLEMENTAR SEU CONHECIMENTO

Detalhes bibliográficos
Data de Publicação: 1992
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_8d72cdb4e4936b43ef9a3b603347e15d
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv UM PROVADOR DE TEOREMAS EM DEDUCAO NATURAL CAPAZ DE COMPLEMENTAR SEU CONHECIMENTO
title UM PROVADOR DE TEOREMAS EM DEDUCAO NATURAL CAPAZ DE COMPLEMENTAR SEU CONHECIMENTO
spellingShingle UM PROVADOR DE TEOREMAS EM DEDUCAO NATURAL CAPAZ DE COMPLEMENTAR SEU CONHECIMENTO
title_short UM PROVADOR DE TEOREMAS EM DEDUCAO NATURAL CAPAZ DE COMPLEMENTAR SEU CONHECIMENTO
title_full UM PROVADOR DE TEOREMAS EM DEDUCAO NATURAL CAPAZ DE COMPLEMENTAR SEU CONHECIMENTO
title_fullStr UM PROVADOR DE TEOREMAS EM DEDUCAO NATURAL CAPAZ DE COMPLEMENTAR SEU CONHECIMENTO
UM PROVADOR DE TEOREMAS EM DEDUCAO NATURAL CAPAZ DE COMPLEMENTAR SEU CONHECIMENTO
title_full_unstemmed UM PROVADOR DE TEOREMAS EM DEDUCAO NATURAL CAPAZ DE COMPLEMENTAR SEU CONHECIMENTO
UM PROVADOR DE TEOREMAS EM DEDUCAO NATURAL CAPAZ DE COMPLEMENTAR SEU CONHECIMENTO
title_sort UM PROVADOR DE TEOREMAS EM DEDUCAO NATURAL CAPAZ DE COMPLEMENTAR SEU CONHECIMENTO
publishDate 1992
format masterThesis
author_role author
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 PROVADOR DE TEOREMAS EM DEDUCAO NATURAL CAPAZ DE COMPLEMENTAR SEU CONHECIMENTOUM PROVADOR DE TEOREMAS EM DEDUCAO NATURAL CAPAZ DE COMPLEMENTAR SEU CONHECIMENTOUM PROVADOR DE TEOREMAS EM DEDUCAO NATURAL CAPAZ DE COMPLEMENTAR SEU CONHECIMENTOUM PROVADOR DE TEOREMAS EM DEDUCAO NATURAL CAPAZ DE COMPLEMENTAR SEU CONHECIMENTOUM PROVADOR DE TEOREMAS EM DEDUCAO NATURAL CAPAZ DE COMPLEMENTAR SEU CONHECIMENTOUM PROVADOR DE TEOREMAS EM DEDUCAO NATURAL CAPAZ DE COMPLEMENTAR SEU CONHECIMENTOUM PROVADOR DE TEOREMAS EM DEDUCAO NATURAL CAPAZ DE COMPLEMENTAR SEU CONHECIMENTO1992masterThesisauthorPONTIFÍ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
_version_ 1741882453226684416

Registros relacionados