Show simple item record

dc.contributor.authorSchreiner, Marcos Antoniopt_BR
dc.contributor.otherCastilho, Marcos Alexandre, 1965-pt_BR
dc.contributor.otherUniversidade Federal do Paraná. Setor de Ciencias Exatas. Programa de Pós-Graduaçao em Informáticapt_BR
dc.date.accessioned2012-10-05T18:21:04Z
dc.date.available2012-10-05T18:21:04Z
dc.date.issued2012-10-05
dc.identifier.urihttp://hdl.handle.net/1884/28340
dc.description.abstractResumopt_BR
dc.format.mimetypeapplication/pdfpt_BR
dc.languagePortuguêspt_BR
dc.subjectTesespt_BR
dc.subjectRedes de petript_BR
dc.subjectTeoria dos grafospt_BR
dc.subjectAlgoritmospt_BR
dc.titlePlanejamento por satisfatibilidade clausal e não-clausal baseado na rede de planospt_BR
dc.typeDissertaçãopt_BR


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record