Uma implementaçao genérica para Métodos de Tableaux Modais com uma aplicaçao específica em raciocínio sobre açoes

dc.contributor.advisor	Castilho, Marcos Alexandre, 1965-	pt_BR
dc.contributor.author	Rojo, Roberta Vanessa	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	2010-10-27T19:24:58Z
dc.date.available	2010-10-27T19:24:58Z
dc.date.issued	2010-10-27
dc.identifier.uri	http://hdl.handle.net/1884/24751
dc.format.mimetype	application/pdf	pt_BR
dc.language	Português	pt_BR
dc.subject	Teses	pt_BR
dc.subject	Logica simbolica e matematica	pt_BR
dc.subject	Inteligencia artificial	pt_BR
dc.title	Uma implementaçao genérica para Métodos de Tableaux Modais com uma aplicaçao específica em raciocínio sobre açoes	pt_BR
dc.type	Dissertação	pt_BR