Sobre os fundamentos de programação lógica paraconsistente

Sobre os fundamentos de programação lógica paraconsistente

Orientador: Marcelo Esteban Coniglio === Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas === Made available in DSpace on 2018-08-17T03:29:03Z (GMT). No. of bitstreams: 1 Rodrigues_TarcisioGenaro_M.pdf: 1141020 bytes, checksum: 59bb8a3ae7377c05cf6...

Full description

Bibliographic Details
Main Author: Rodrigues, Tarcísio Genaro
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 2010
Subjects:
Lógica matemática não-clássica
Lógica simbólica e matemática
Inconsistencia (Lógica)
Programação lógica
Linguagens formais - Semântica
Non-classical mathematical logic
Symbolic logic and mathematics
Inconsistency (Logic)
Logic programming
Formal languages - Semantics
Online Access:RODRIGUES, Tarcísio Genaro. Sobre os fundamentos de programação lógica paraconsistente. 2010. 141 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/278897>. Acesso em: 17 ago. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/278897

Internet

RODRIGUES, Tarcísio Genaro. Sobre os fundamentos de programação lógica paraconsistente. 2010. 141 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/278897>. Acesso em: 17 ago. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/278897

Similar Items