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)