Um estudo do sistema Oyster-Clam, implementação de reescrita de tipos e uma formalização parcial da teoria dos grafos

Um estudo do sistema Oyster-Clam, implementação de reescrita de tipos e uma formalização parcial da teoria dos grafos

Orientador: Jacques Wainer === Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação === Made available in DSpace on 2018-07-25T14:49:11Z (GMT). No. of bitstreams: 1 Pellegrini_Jeronimo_M.pdf: 6805368 bytes, checksum: 59cb8230ad8b2216cb3006f776de3d8c (MD5) Previous is...

Full description

Bibliographic Details
Main Author: Pellegrini, Jerônimo
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 1997
Subjects:
Demonstração automática de teoremas
Lógica simbólica e matemática
Inteligência artificial
Online Access:PELLEGRINI, Jerônimo. Um estudo do sistema Oyster-Clam, implementação de reescrita de tipos e uma formalização parcial da teoria dos grafos. 1997. 65f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/275884>. Acesso em: 25 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/275884

Internet

PELLEGRINI, Jerônimo. Um estudo do sistema Oyster-Clam, implementação de reescrita de tipos e uma formalização parcial da teoria dos grafos. 1997. 65f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/275884>. Acesso em: 25 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/275884

Similar Items