Um Estudo em Síntese Construtiva de Programas Utilizando Lógica Intuicionista

Detalhes bibliográficos
Autor(a) principal: Geiza Maria Hamazaki da Silva
Data de Publicação: 1999
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_57942882297c8c59a047c66d450e89ba
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Um Estudo em Síntese Construtiva de Programas Utilizando Lógica Intuicionista
title Um Estudo em Síntese Construtiva de Programas Utilizando Lógica Intuicionista
spellingShingle Um Estudo em Síntese Construtiva de Programas Utilizando Lógica Intuicionista
Geiza Maria Hamazaki da Silva
title_short Um Estudo em Síntese Construtiva de Programas Utilizando Lógica Intuicionista
title_full Um Estudo em Síntese Construtiva de Programas Utilizando Lógica Intuicionista
title_fullStr Um Estudo em Síntese Construtiva de Programas Utilizando Lógica Intuicionista
Um Estudo em Síntese Construtiva de Programas Utilizando Lógica Intuicionista
title_full_unstemmed Um Estudo em Síntese Construtiva de Programas Utilizando Lógica Intuicionista
Um Estudo em Síntese Construtiva de Programas Utilizando Lógica Intuicionista
title_sort Um Estudo em Síntese Construtiva de Programas Utilizando Lógica Intuicionista
publishDate 1999
format masterThesis
author_role author
author Geiza Maria Hamazaki da Silva
author_facet Geiza Maria Hamazaki da Silva
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/2100358669537195
dc.contributor.advisor1.fl_str_mv EDWARD HERMANN HAEUSLER
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/6075905438020841
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 Estudo em Síntese Construtiva de Programas Utilizando Lógica IntuicionistaUm Estudo em Síntese Construtiva de Programas Utilizando Lógica IntuicionistaUm Estudo em Síntese Construtiva de Programas Utilizando Lógica IntuicionistaUm Estudo em Síntese Construtiva de Programas Utilizando Lógica IntuicionistaUm Estudo em Síntese Construtiva de Programas Utilizando Lógica IntuicionistaUm Estudo em Síntese Construtiva de Programas Utilizando Lógica IntuicionistaUm Estudo em Síntese Construtiva de Programas Utilizando Lógica Intuicionista1999masterThesisauthorGeiza Maria Hamazaki da Silvahttp://lattes.cnpq.br/2100358669537195EDWARD HERMANN HAEUSLERhttp://lattes.cnpq.br/6075905438020841PONTIFÍ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 Silva, Geiza Maria Hamazaki da. Um Estudo em Síntese Construtiva de Programas Utilizando Lógica Intuicionista. 1999. Tese.
dc.identifier.citation.fl_str_mv Silva, Geiza Maria Hamazaki da. Um Estudo em Síntese Construtiva de Programas Utilizando Lógica Intuicionista. 1999. Tese.
_version_ 1741884476204515328

Registros relacionados