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

DSpace Repository

dc.contributor.advisor	Silveira, Ricardo Azambuja
dc.contributor.author	Gonçalves, Matheus Bassi Blank
dc.contributor.other	Santos, Elder
dc.contributor.other	Marchi, Jerusa
dc.date.accessioned	2018-02-23T20:22:40Z
dc.date.available	2018-02-23T20:22:40Z
dc.date.issued	2010
dc.identifier.other	1289
dc.identifier.uri	https://repositorio.ufsc.br/handle/123456789/184178
dc.description	TCC (graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Curso de Ciências da Computação.
dc.description.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
dc.subject	TCC PROLOG MODAL
dc.title	Implementação de um interpretador Prolog com extensão para lógica modal
dc.type	TCCgrad

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