A Proof Theory for Description Logics

Detalhes bibliográficos
Principais autores: TANARA LAUSCHNER, ALEXANDRE RADEMAKER
Data de Publicação: 2010
Tipo de documento: Tese
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_8dfb0daeae6b103c2b4dbec22851532e
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv A Proof Theory for Description Logics
title A Proof Theory for Description Logics
spellingShingle A Proof Theory for Description Logics
TANARA LAUSCHNER
ALEXANDRE RADEMAKER
title_short A Proof Theory for Description Logics
title_full A Proof Theory for Description Logics
title_fullStr A Proof Theory for Description Logics
A Proof Theory for Description Logics
title_full_unstemmed A Proof Theory for Description Logics
A Proof Theory for Description Logics
title_sort A Proof Theory for Description Logics
publishDate 2010
format doctoralThesis
author_role author
author TANARA LAUSCHNER
ALEXANDRE RADEMAKER
author_facet TANARA LAUSCHNER
ALEXANDRE RADEMAKER
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/0675365413696898
dc.contributor.advisor1.fl_str_mv EDWARD HERMANN HAEUSLER
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/6075905438020841
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 CAPESA Proof Theory for Description LogicsA Proof Theory for Description LogicsA Proof Theory for Description LogicsA Proof Theory for Description LogicsA Proof Theory for Description LogicsA Proof Theory for Description LogicsA Proof Theory for Description Logics2010doctoralThesisauthorTANARA LAUSCHNERhttp://lattes.cnpq.br/0675365413696898EDWARD HERMANN HAEUSLERhttp://lattes.cnpq.br/6075905438020841PONTIFÍ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 LAUSCHNER, TANARA. A Proof Theory for Description Logics. 2010. Tese.
dc.identifier.citation.fl_str_mv LAUSCHNER, TANARA. A Proof Theory for Description Logics. 2010. Tese.
_version_ 1741889960606171136

Registros relacionados