UM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTE

Detalhes bibliográficos
Autor(a) principal: ARTHUR RONALD DE VALLAURIS BUCHSBAUM
Data de Publicação: 1988
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_e40b05537fbe7d1fb5beb6bba9a2cf70
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv UM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTE
title UM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTE
spellingShingle UM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTE
ARTHUR RONALD DE VALLAURIS BUCHSBAUM
title_short UM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTE
title_full UM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTE
title_fullStr UM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTE
UM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTE
title_full_unstemmed UM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTE
UM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTE
title_sort UM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTE
publishDate 1988
format masterThesis
author_role author
author ARTHUR RONALD DE VALLAURIS BUCHSBAUM
author_facet ARTHUR RONALD DE VALLAURIS BUCHSBAUM
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/5753981526255474
dc.contributor.advisor1.fl_str_mv Tarcísio Haroldo Cavalcante Pequeno
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/8763487086911020
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 METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTEUM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTEUM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTEUM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTEUM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTEUM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTEUM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTE1988masterThesisauthorARTHUR RONALD DE VALLAURIS BUCHSBAUMhttp://lattes.cnpq.br/5753981526255474Tarcísio Haroldo Cavalcante Pequenohttp://lattes.cnpq.br/8763487086911020PONTIFÍ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 BUCHSBAUM, ARTHUR RONALD DE VALLAURIS. UM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTE. 1988. Tese.
dc.identifier.citation.fl_str_mv BUCHSBAUM, ARTHUR RONALD DE VALLAURIS. UM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTE. 1988. Tese.
_version_ 1741886855321747456

Registros relacionados