Máquinas Abstratas para Prova de Teoremas

Detalhes bibliográficos
Autor(a) principal: ROGERIO MELO NEPOMUCENO
Data de Publicação: 1997
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_ce07698ba92fa07f381af1a9135aaa7e
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Máquinas Abstratas para Prova de Teoremas
title Máquinas Abstratas para Prova de Teoremas
spellingShingle Máquinas Abstratas para Prova de Teoremas
ROGERIO MELO NEPOMUCENO
title_short Máquinas Abstratas para Prova de Teoremas
title_full Máquinas Abstratas para Prova de Teoremas
title_fullStr Máquinas Abstratas para Prova de Teoremas
Máquinas Abstratas para Prova de Teoremas
title_full_unstemmed Máquinas Abstratas para Prova de Teoremas
Máquinas Abstratas para Prova de Teoremas
title_sort Máquinas Abstratas para Prova de Teoremas
publishDate 1997
format masterThesis
author_role author
author ROGERIO MELO NEPOMUCENO
author_facet ROGERIO MELO NEPOMUCENO
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/6412012335273205
dc.contributor.advisor1.fl_str_mv JOAO NUNES DE SOUZA
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/2125942405817598
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE UBERLÂNDIA
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE UBERLÂNDIA
instname_str UNIVERSIDADE FEDERAL DE UBERLÂNDIA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESMáquinas Abstratas para Prova de TeoremasMáquinas Abstratas para Prova de TeoremasMáquinas Abstratas para Prova de TeoremasMáquinas Abstratas para Prova de TeoremasMáquinas Abstratas para Prova de TeoremasMáquinas Abstratas para Prova de TeoremasMáquinas Abstratas para Prova de Teoremas1997masterThesisauthorROGERIO MELO NEPOMUCENOhttp://lattes.cnpq.br/6412012335273205JOAO NUNES DE SOUZAhttp://lattes.cnpq.br/2125942405817598UNIVERSIDADE FEDERAL DE UBERLÂNDIAUNIVERSIDADE FEDERAL DE UBERLÂNDIAUNIVERSIDADE FEDERAL DE UBERLÂNDIAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv NEPOMUCENO, ROGERIO MELO. Máquinas Abstratas para Prova de Teoremas. 1997. Tese.
dc.identifier.citation.fl_str_mv NEPOMUCENO, ROGERIO MELO. Máquinas Abstratas para Prova de Teoremas. 1997. Tese.
_version_ 1741888017580163072

Registros relacionados