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

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

Bibliographic Details
Main Author: Rojo, Roberta Vanessa
Other Authors: Universidade Federal do Paraná. Setor de Ciencias Exatas. Programa de Pós-Graduaçao em Informática
Format: Others
Language:Portuguese
Published: 2010
Subjects:
Teses
Logica simbolica e matematica
Inteligencia artificial
Online Access:http://hdl.handle.net/1884/24751

Internet

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

Similar Items