Planejamento por satisfatibilidade clausal e não-clausal baseado na rede de planos

dc.contributor.author	Schreiner, Marcos Antonio	pt_BR
dc.contributor.other	Castilho, Marcos Alexandre, 1965-	pt_BR
dc.contributor.other	Universidade Federal do Paraná. Setor de Ciencias Exatas. Programa de Pós-Graduaçao em Informática	pt_BR
dc.date.accessioned	2012-10-05T18:21:04Z
dc.date.available	2012-10-05T18:21:04Z
dc.date.issued	2012-10-05
dc.identifier.uri	http://hdl.handle.net/1884/28340
dc.description.abstract	Resumo	pt_BR
dc.format.mimetype	application/pdf	pt_BR
dc.language	Português	pt_BR
dc.subject	Teses	pt_BR
dc.subject	Redes de petri	pt_BR
dc.subject	Teoria dos grafos	pt_BR
dc.subject	Algoritmos	pt_BR
dc.title	Planejamento por satisfatibilidade clausal e não-clausal baseado na rede de planos	pt_BR
dc.type	Dissertação	pt_BR