Uma implementaçao genérica para Métodos de Tableaux Modais com uma aplicaçao específica em raciocínio sobre açoes
View/
Date
2010-10-27Metadata
Show full item recordSubject
TesesLogica simbolica e matematica
Inteligencia artificial
xmlui.dri2xhtml.METS-1.0.item-type
DissertaçãoCollections
- Dissertações [456]