Implementação de um interpretador Prolog com extensão para lógica modal

DSpace Repository

Title:	Implementação de um interpretador Prolog com extensão para lógica modal
Author:	Gonçalves, Matheus Bassi Blank
Abstract:	O trabalho será composto por duas partes: 1. implementar um interpretador prolog ( como já conhecido hoje ), permitindo futuras extensões; 2. implementar uma extensão para trabalhar com lógicas modais
Description:	TCC (graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Curso de Ciências da Computação.
URI:	https://repositorio.ufsc.br/handle/123456789/184178
Date:	2010

Files	Size	Format	View
[TEXTO-PDF] TCC_12_07_06.pdf	764.8Kb	PDF	View/Open