TRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOS

Detalhes bibliográficos
Autor(a) principal: Anjolina Grisi de Oliveira
Data de Publicação: 1995
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_a589c9b2bf56549e45e4a9fc3037c6de
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv TRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOS
title TRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOS
spellingShingle TRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOS
Anjolina Grisi de Oliveira
title_short TRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOS
title_full TRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOS
title_fullStr TRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOS
TRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOS
title_full_unstemmed TRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOS
TRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOS
title_sort TRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOS
publishDate 1995
format masterThesis
author_role author
author Anjolina Grisi de Oliveira
author_facet Anjolina Grisi de Oliveira
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/9932708325371272
dc.contributor.advisor1.fl_str_mv RUY JOSE GUERRA BARRETTO DE QUEIROZ
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/1825502153580661
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE PERNAMBUCO
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE PERNAMBUCO
instname_str UNIVERSIDADE FEDERAL DE PERNAMBUCO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESTRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOSTRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOSTRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOSTRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOSTRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOSTRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOSTRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOS1995masterThesisauthorAnjolina Grisi de Oliveirahttp://lattes.cnpq.br/9932708325371272RUY JOSE GUERRA BARRETTO DE QUEIROZhttp://lattes.cnpq.br/1825502153580661UNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv Oliveira, Anjolina Grisi de. TRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOS. 1995. Tese.
dc.identifier.citation.fl_str_mv Oliveira, Anjolina Grisi de. TRANSFORMACAO ENTRE PROVAS PARA A DEDUCAO NATURAL ROTULADA VIA REESCRITA DE TERMOS. 1995. Tese.
_version_ 1741886062932787200

Registros relacionados