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

D - ROJO, VANESSA ROBERTA.pdf (2.534Mb)

Date

2003

Author

Rojo, Roberta Vanessa

Metadata

Show full item record

Subject

Teses
Lógica simbólica e matemática
Inteligência artificial
Ciencia da Computação

xmlui.dri2xhtml.METS-1.0.item-type

Dissertação

URI

https://hdl.handle.net/1884/24751

Collections

• Teses & Dissertações [6964]