MAC499 - Trabalho de Formatura Supervisionado


Aluno: Fabio Alexandre Campo Tisovec
Supervisor: Marcelo Finger

Tema do trabalho: Um provador automatico de teoremas para a logica modal baseado em aneis booleanos
Tipo do trabalho: Projeto

Proposta para o projeto de TCC: (ps) (pdf)


monografia do projeto de TCC: (ps) (pdf)


Codigo fonte e documentacao do software produzido: (rar) (zip) (tar)