"PROVA AUTOMATICA DE TEOREMAS NAS FORK ALGEBRAS"

Detalhes bibliográficos
Data de Publicação: 1995
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_02d3682b0d6ea3191e7743b8810a808a
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv "PROVA AUTOMATICA DE TEOREMAS NAS FORK ALGEBRAS"
title "PROVA AUTOMATICA DE TEOREMAS NAS FORK ALGEBRAS"
spellingShingle "PROVA AUTOMATICA DE TEOREMAS NAS FORK ALGEBRAS"
title_short "PROVA AUTOMATICA DE TEOREMAS NAS FORK ALGEBRAS"
title_full "PROVA AUTOMATICA DE TEOREMAS NAS FORK ALGEBRAS"
title_fullStr "PROVA AUTOMATICA DE TEOREMAS NAS FORK ALGEBRAS"
"PROVA AUTOMATICA DE TEOREMAS NAS FORK ALGEBRAS"
title_full_unstemmed "PROVA AUTOMATICA DE TEOREMAS NAS FORK ALGEBRAS"
"PROVA AUTOMATICA DE TEOREMAS NAS FORK ALGEBRAS"
title_sort "PROVA AUTOMATICA DE TEOREMAS NAS FORK ALGEBRAS"
publishDate 1995
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 CAPES"PROVA AUTOMATICA DE TEOREMAS NAS FORK ALGEBRAS""PROVA AUTOMATICA DE TEOREMAS NAS FORK ALGEBRAS""PROVA AUTOMATICA DE TEOREMAS NAS FORK ALGEBRAS""PROVA AUTOMATICA DE TEOREMAS NAS FORK ALGEBRAS""PROVA AUTOMATICA DE TEOREMAS NAS FORK ALGEBRAS""PROVA AUTOMATICA DE TEOREMAS NAS FORK ALGEBRAS""PROVA AUTOMATICA DE TEOREMAS NAS FORK ALGEBRAS"1995masterThesisauthorPONTIFÍ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_ 1741888546343485440

Registros relacionados