Uma Certificação em Coq do Algoritmo W Monádico

Detalhes bibliográficos
Autor(a) principal: RAFAEL CASTRO GONCALVES SILVA
Data de Publicação: 2019
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=7754264
id BRCRIS_6e55dfacb74685c0662526e1ace95bd5
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Uma Certificação em Coq do Algoritmo W Monádico
title Uma Certificação em Coq do Algoritmo W Monádico
spellingShingle Uma Certificação em Coq do Algoritmo W Monádico
Coq.
RAFAEL CASTRO GONCALVES SILVA
title_short Uma Certificação em Coq do Algoritmo W Monádico
title_full Uma Certificação em Coq do Algoritmo W Monádico
title_fullStr Uma Certificação em Coq do Algoritmo W Monádico
Uma Certificação em Coq do Algoritmo W Monádico
title_full_unstemmed Uma Certificação em Coq do Algoritmo W Monádico
Uma Certificação em Coq do Algoritmo W Monádico
title_sort Uma Certificação em Coq do Algoritmo W Monádico
topic Coq.
publishDate 2019
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=7754264
author_role author
author RAFAEL CASTRO GONCALVES SILVA
author_facet RAFAEL CASTRO GONCALVES SILVA
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/2655543512516303
dc.contributor.advisor1.fl_str_mv KARINA GIRARDI ROGGIA
Cristiano Damiani Vasconcellos
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/7786281602726587
http://lattes.cnpq.br/7291640788372419
dc.contributor.advisor1orcid.por.fl_str_mv https://orcid.org/0000000151945870
https://orcid.org/0000000175814146
dc.publisher.none.fl_str_mv UNIVERSIDADE DO ESTADO DE SANTA CATARINA
publisher.none.fl_str_mv UNIVERSIDADE DO ESTADO DE SANTA CATARINA
instname_str UNIVERSIDADE DO ESTADO DE SANTA CATARINA
dc.publisher.program.fl_str_mv Computação Aplicada
dc.description.course.none.fl_txt_mv Computação Aplicada
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESUma Certificação em Coq do Algoritmo W MonádicoUma Certificação em Coq do Algoritmo W MonádicoUma Certificação em Coq do Algoritmo W MonádicoUma Certificação em Coq do Algoritmo W MonádicoUma Certificação em Coq do Algoritmo W MonádicoUma Certificação em Coq do Algoritmo W MonádicoUma Certificação em Coq do Algoritmo W MonádicoCoq.2019masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=7754264authorRAFAEL CASTRO GONCALVES SILVAhttp://lattes.cnpq.br/2655543512516303KARINA GIRARDI ROGGIAhttp://lattes.cnpq.br/7786281602726587https://orcid.org/0000000151945870UNIVERSIDADE DO ESTADO DE SANTA CATARINAUNIVERSIDADE DO ESTADO DE SANTA CATARINAUNIVERSIDADE DO ESTADO DE SANTA CATARINAComputação AplicadaComputação AplicadaPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv SILVA, RAFAEL CASTRO GONCALVES. Uma Certificação em Coq do Algoritmo W Monádico. 2019. Tese.
dc.identifier.citation.fl_str_mv SILVA, RAFAEL CASTRO GONCALVES. Uma Certificação em Coq do Algoritmo W Monádico. 2019. Tese.
_version_ 1741886962928713728

Registros relacionados