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

View/ Open
Date
2010-10-27Author
Rojo, Roberta Vanessa
Metadata
Show full item recordSubject
TesesLogica simbolica e matematica
Inteligencia artificial
xmlui.dri2xhtml.METS-1.0.item-type
DissertaçãoCollections
- Dissertações [472]