Show simple item record

dc.contributor.advisorCastilho, Marcos Alexandre, 1965-pt_BR
dc.contributor.authorRojo, Roberta Vanessapt_BR
dc.contributor.otherUniversidade Federal do Paraná. Setor de Ciencias Exatas. Programa de Pós-Graduaçao em Informáticapt_BR
dc.date.accessioned2010-10-27T19:24:58Z
dc.date.available2010-10-27T19:24:58Z
dc.date.issued2010-10-27
dc.identifier.urihttp://hdl.handle.net/1884/24751
dc.format.mimetypeapplication/pdfpt_BR
dc.languagePortuguêspt_BR
dc.subjectTesespt_BR
dc.subjectLogica simbolica e matematicapt_BR
dc.subjectInteligencia artificialpt_BR
dc.titleUma implementaçao genérica para Métodos de Tableaux Modais com uma aplicaçao específica em raciocínio sobre açoespt_BR
dc.typeDissertaçãopt_BR


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record