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
2003Author
Rojo, Roberta Vanessa
Metadata
Show full item recordSubject
TesesLógica simbólica e matemática
Inteligência artificial
Ciencia da Computação
xmlui.dri2xhtml.METS-1.0.item-type
DissertaçãoCollections
- Teses & Dissertações [6964]