Um provador interativo de teoremas

Detalhes bibliográficos
Autor(a) principal: PATRICIA GARCES RABELO
Data de Publicação: 2000
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_ecdc328558e7ac22442806ca53ee8bd9
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Um provador interativo de teoremas
title Um provador interativo de teoremas
spellingShingle Um provador interativo de teoremas
PATRICIA GARCES RABELO
title_short Um provador interativo de teoremas
title_full Um provador interativo de teoremas
title_fullStr Um provador interativo de teoremas
Um provador interativo de teoremas
title_full_unstemmed Um provador interativo de teoremas
Um provador interativo de teoremas
title_sort Um provador interativo de teoremas
publishDate 2000
format masterThesis
author_role author
author PATRICIA GARCES RABELO
author_facet PATRICIA GARCES RABELO
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/1215647882174121
dc.identifier.orcid.none.fl_str_mv https://orcid.org/0000-0001-5250-4241
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 interativo de teoremasUm provador interativo de teoremasUm provador interativo de teoremasUm provador interativo de teoremasUm provador interativo de teoremasUm provador interativo de teoremasUm provador interativo de teoremas2000masterThesisauthorPATRICIA GARCES RABELOhttp://lattes.cnpq.br/1215647882174121https://orcid.org/0000-0001-5250-4241PONTIFÍ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 RABELO, PATRICIA GARCES. Um provador interativo de teoremas. 2000. Tese.
dc.identifier.citation.fl_str_mv RABELO, PATRICIA GARCES. Um provador interativo de teoremas. 2000. Tese.
_version_ 1741885285632835584

Registros relacionados