PROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOS

Detalhes bibliográficos
Autor(a) principal: Luiz Carlos Lemos Junior
Data de Publicação: 2014
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
Texto Completo: https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=1069178
id BRCRIS_a37d0a31a2fb279f59b48787c444f32e
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv PROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOS
title PROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOS
spellingShingle PROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOS
Formal Methods, Graph Grammars, Theorem Proving
M´etodos Formais, Gram´ atica de Grafos, Prova de Teoremas
Luiz Carlos Lemos Junior
title_short PROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOS
title_full PROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOS
title_fullStr PROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOS
PROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOS
title_full_unstemmed PROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOS
PROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOS
title_sort PROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOS
topic Formal Methods, Graph Grammars, Theorem Proving
M´etodos Formais, Gram´ atica de Grafos, Prova de Teoremas
publishDate 2014
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=1069178
author_role author
author Luiz Carlos Lemos Junior
author_facet Luiz Carlos Lemos Junior
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/6439874921445529
dc.contributor.advisor1.fl_str_mv SIMONE ANDRE DA COSTA CAVALHEIRO
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/2502796658601825
dc.contributor.advisor1orcid.por.fl_str_mv https://orcid.org/0000000274427379
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE PELOTAS
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE PELOTAS
instname_str UNIVERSIDADE FEDERAL DE PELOTAS
dc.publisher.program.fl_str_mv Computação
dc.description.course.none.fl_txt_mv Computação
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESPROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOSPROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOSPROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOSPROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOSPROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOSPROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOSPROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOSFormal Methods, Graph Grammars, Theorem Proving2014masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=1069178authorLuiz Carlos Lemos Juniorhttp://lattes.cnpq.br/6439874921445529SIMONE ANDRE DA COSTA CAVALHEIROhttp://lattes.cnpq.br/2502796658601825https://orcid.org/0000000274427379UNIVERSIDADE FEDERAL DE PELOTASUNIVERSIDADE FEDERAL DE PELOTASUNIVERSIDADE FEDERAL DE PELOTASComputaçãoComputaçãoPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv Junior, Luiz Carlos Lemos. PROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOS. 2014. Tese.
dc.identifier.citation.fl_str_mv Junior, Luiz Carlos Lemos. PROPOSTA DE TA´ TICAS PARA PROVA DE TEOREMAS DE GRAMA´ TICA DE GRAFOS. 2014. Tese.
_version_ 1741889928523939840

Registros relacionados