Dedução Natural e Normalização Fraca para a Lógica Linear Completa

Detalhes bibliográficos
Autor(a) principal: LILIA RAMALHO MARTINS
Data de Publicação: 2003
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_27619535c4754c61651a4aa0f43e1f78
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Dedução Natural e Normalização Fraca para a Lógica Linear Completa
title Dedução Natural e Normalização Fraca para a Lógica Linear Completa
spellingShingle Dedução Natural e Normalização Fraca para a Lógica Linear Completa
LILIA RAMALHO MARTINS
title_short Dedução Natural e Normalização Fraca para a Lógica Linear Completa
title_full Dedução Natural e Normalização Fraca para a Lógica Linear Completa
title_fullStr Dedução Natural e Normalização Fraca para a Lógica Linear Completa
Dedução Natural e Normalização Fraca para a Lógica Linear Completa
title_full_unstemmed Dedução Natural e Normalização Fraca para a Lógica Linear Completa
Dedução Natural e Normalização Fraca para a Lógica Linear Completa
title_sort Dedução Natural e Normalização Fraca para a Lógica Linear Completa
publishDate 2003
format masterThesis
author_role author
author LILIA RAMALHO MARTINS
author_facet LILIA RAMALHO MARTINS
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/8419585294821819
dc.contributor.advisor1.fl_str_mv Ana Teresa de Castro Martins
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/8173372566989305
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO CEARÁ
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO CEARÁ
instname_str UNIVERSIDADE FEDERAL DO CEARÁ
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESDedução Natural e Normalização Fraca para a Lógica Linear CompletaDedução Natural e Normalização Fraca para a Lógica Linear CompletaDedução Natural e Normalização Fraca para a Lógica Linear CompletaDedução Natural e Normalização Fraca para a Lógica Linear CompletaDedução Natural e Normalização Fraca para a Lógica Linear CompletaDedução Natural e Normalização Fraca para a Lógica Linear CompletaDedução Natural e Normalização Fraca para a Lógica Linear Completa2003masterThesisauthorLILIA RAMALHO MARTINShttp://lattes.cnpq.br/8419585294821819Ana Teresa de Castro Martinshttp://lattes.cnpq.br/8173372566989305UNIVERSIDADE FEDERAL DO CEARÁUNIVERSIDADE FEDERAL DO CEARÁUNIVERSIDADE FEDERAL DO CEARÁPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv MARTINS, LILIA RAMALHO. Dedução Natural e Normalização Fraca para a Lógica Linear Completa. 2003. Tese.
dc.identifier.citation.fl_str_mv MARTINS, LILIA RAMALHO. Dedução Natural e Normalização Fraca para a Lógica Linear Completa. 2003. Tese.
_version_ 1741882718017290240

Registros relacionados