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 |
Files in this item
This item appears in the following Collection(s)
-
Dissertações [478]