PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATA

Detalhes bibliográficos
Autor(a) principal: EDWARD HERMANN HAEUSLER
Data de Publicação: 1990
Tipo de documento: Tese
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_1be829eac74aa4807a7756b74f4599af
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATA
title PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATA
spellingShingle PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATA
EDWARD HERMANN HAEUSLER
title_short PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATA
title_full PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATA
title_fullStr PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATA
PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATA
title_full_unstemmed PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATA
PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATA
title_sort PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATA
publishDate 1990
format doctoralThesis
author_role author
author EDWARD HERMANN HAEUSLER
author_facet EDWARD HERMANN HAEUSLER
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/6075905438020841
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 CAPESPROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATAPROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATAPROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATAPROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATAPROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATAPROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATAPROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATA1990doctoralThesisauthorEDWARD HERMANN HAEUSLERhttp://lattes.cnpq.br/6075905438020841Tarcí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 HAEUSLER, EDWARD HERMANN. PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATA. 1990. Tese.
dc.identifier.citation.fl_str_mv HAEUSLER, EDWARD HERMANN. PROVA AUTOMATICA DE TEOREMAS EM DEDUCAO NATURAL: UMA ABORDAGEM ABSTRATA. 1990. Tese.
_version_ 1741888390225199104

Registros relacionados