UM AMBIENTE PARA PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL.

Detalhes bibliográficos
Data de Publicação: 1993
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_18a1b9c8e18a08c17b7be3acd68cc263
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv UM AMBIENTE PARA PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL.
title UM AMBIENTE PARA PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL.
spellingShingle UM AMBIENTE PARA PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL.
title_short UM AMBIENTE PARA PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL.
title_full UM AMBIENTE PARA PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL.
title_fullStr UM AMBIENTE PARA PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL.
UM AMBIENTE PARA PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL.
title_full_unstemmed UM AMBIENTE PARA PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL.
UM AMBIENTE PARA PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL.
title_sort UM AMBIENTE PARA PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL.
publishDate 1993
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 AMBIENTE PARA PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL.UM AMBIENTE PARA PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL.UM AMBIENTE PARA PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL.UM AMBIENTE PARA PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL.UM AMBIENTE PARA PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL.UM AMBIENTE PARA PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL.UM AMBIENTE PARA PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL.1993masterThesisauthorPONTIFÍ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_ 1741887504771973120

Registros relacionados