Formas Normais e Inferencia em Logica de Primeira Ordem

Detalhes bibliográficos
Autor(a) principal: ISABEL TONIN
Data de Publicação: 2003
Tipo de documento: Tese
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_27c45686ce0f9964464c60781959f32e
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Formas Normais e Inferencia em Logica de Primeira Ordem
title Formas Normais e Inferencia em Logica de Primeira Ordem
spellingShingle Formas Normais e Inferencia em Logica de Primeira Ordem
ISABEL TONIN
title_short Formas Normais e Inferencia em Logica de Primeira Ordem
title_full Formas Normais e Inferencia em Logica de Primeira Ordem
title_fullStr Formas Normais e Inferencia em Logica de Primeira Ordem
Formas Normais e Inferencia em Logica de Primeira Ordem
title_full_unstemmed Formas Normais e Inferencia em Logica de Primeira Ordem
Formas Normais e Inferencia em Logica de Primeira Ordem
title_sort Formas Normais e Inferencia em Logica de Primeira Ordem
publishDate 2003
format doctoralThesis
author_role author
author ISABEL TONIN
author_facet ISABEL TONIN
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/7908399008655766
dc.contributor.advisor1.fl_str_mv GUILHERME BITTENCOURT
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/6959796173185352
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE SANTA CATARINA
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE SANTA CATARINA
instname_str UNIVERSIDADE FEDERAL DE SANTA CATARINA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESFormas Normais e Inferencia em Logica de Primeira OrdemFormas Normais e Inferencia em Logica de Primeira OrdemFormas Normais e Inferencia em Logica de Primeira OrdemFormas Normais e Inferencia em Logica de Primeira OrdemFormas Normais e Inferencia em Logica de Primeira OrdemFormas Normais e Inferencia em Logica de Primeira OrdemFormas Normais e Inferencia em Logica de Primeira Ordem2003doctoralThesisauthorISABEL TONINhttp://lattes.cnpq.br/7908399008655766GUILHERME BITTENCOURThttp://lattes.cnpq.br/6959796173185352UNIVERSIDADE FEDERAL DE SANTA CATARINAUNIVERSIDADE FEDERAL DE SANTA CATARINAUNIVERSIDADE FEDERAL DE SANTA CATARINAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv TONIN, ISABEL. Formas Normais e Inferencia em Logica de Primeira Ordem. 2003. Tese.
dc.identifier.citation.fl_str_mv TONIN, ISABEL. Formas Normais e Inferencia em Logica de Primeira Ordem. 2003. Tese.
_version_ 1741887769540558848

Registros relacionados