Um estudo em unificação e desunificação módulo (A Study on Unification and Disunification Modulo)

Detalhes bibliográficos
Data de Publicação: 2020
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=9906890
id BRCRIS_a026869bbc01f05a6eef743051e2b2da
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Um estudo em unificação e desunificação módulo (A Study on Unification and Disunification Modulo)
title Um estudo em unificação e desunificação módulo (A Study on Unification and Disunification Modulo)
spellingShingle Um estudo em unificação e desunificação módulo (A Study on Unification and Disunification Modulo)
Teorias Equacionais Módulo Associatividade-Comutatividade
Equational Theories Modulo Associativity-Commutativity
title_short Um estudo em unificação e desunificação módulo (A Study on Unification and Disunification Modulo)
title_full Um estudo em unificação e desunificação módulo (A Study on Unification and Disunification Modulo)
title_fullStr Um estudo em unificação e desunificação módulo (A Study on Unification and Disunification Modulo)
Um estudo em unificação e desunificação módulo (A Study on Unification and Disunification Modulo)
title_full_unstemmed Um estudo em unificação e desunificação módulo (A Study on Unification and Disunification Modulo)
Um estudo em unificação e desunificação módulo (A Study on Unification and Disunification Modulo)
title_sort Um estudo em unificação e desunificação módulo (A Study on Unification and Disunification Modulo)
topic Teorias Equacionais Módulo Associatividade-Comutatividade
Equational Theories Modulo Associativity-Commutativity
publishDate 2020
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=9906890
author_role author
dc.publisher.none.fl_str_mv UNIVERSIDADE DE BRASÍLIA
publisher.none.fl_str_mv UNIVERSIDADE DE BRASÍLIA
instname_str UNIVERSIDADE DE BRASÍLIA
dc.publisher.program.fl_str_mv INFORMÁTICA
dc.description.course.none.fl_txt_mv INFORMÁTICA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESUm estudo em unificação e desunificação módulo (A Study on Unification and Disunification Modulo)Um estudo em unificação e desunificação módulo (A Study on Unification and Disunification Modulo)Um estudo em unificação e desunificação módulo (A Study on Unification and Disunification Modulo)Um estudo em unificação e desunificação módulo (A Study on Unification and Disunification Modulo)Um estudo em unificação e desunificação módulo (A Study on Unification and Disunification Modulo)Um estudo em unificação e desunificação módulo (A Study on Unification and Disunification Modulo)Um estudo em unificação e desunificação módulo (A Study on Unification and Disunification Modulo)Teorias Equacionais Módulo Associatividade-Comutatividade2020masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=9906890authorUNIVERSIDADE DE BRASÍLIAUNIVERSIDADE DE BRASÍLIAUNIVERSIDADE DE BRASÍLIAINFORMÁTICAINFORMÁTICAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
_version_ 1741889323155849216

Registros relacionados