Teoria das funções recursivas e aplicações a logica

Orientador: Andres Raggio === Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação === Made available in DSpace on 2018-07-20T02:47:32Z (GMT). No. of bitstreams: 1 Centenaro_IralinoFidencio_M.pdf: 1220197 bytes, checksum: eac1b52a24...

Full description

Bibliographic Details
Main Author:	Centenaro, Iralino Fidencio
Other Authors:	UNIVERSIDADE ESTADUAL DE CAMPINAS
Format:	Others
Language:	Portuguese
Published:	[s.n.] 1977
Subjects:	Funções recursivas Lógica simbólica e matemática
Online Access:	CENTENARO, Iralino Fidencio. Teoria das funções recursivas e aplicações a logica. 1977. 68 f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/306053>. Acesso em: 19 jul. 2018. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306053

id	ndltd-IBICT-oai-repositorio.unicamp.br-REPOSIP-306053
record_format	oai_dc
spelling	ndltd-IBICT-oai-repositorio.unicamp.br-REPOSIP-3060532019-01-21T20:22:24Z Teoria das funções recursivas e aplicações a logica Centenaro, Iralino Fidencio UNIVERSIDADE ESTADUAL DE CAMPINAS Raggio, Andres Romulo, 1927- Raggio, Andres Funções recursivas Lógica simbólica e matemática Orientador: Andres Raggio Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação Made available in DSpace on 2018-07-20T02:47:32Z (GMT). No. of bitstreams: 1 Centenaro_IralinoFidencio_M.pdf: 1220197 bytes, checksum: eac1b52a24281e9708380f3d735c2f8b (MD5) Previous issue date: 1977 Resumo: Não informado Abstract: Not informed Mestrado Mestre em Matemática 1977 2018-07-20T02:47:32Z 2018-07-20T02:47:32Z info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/masterThesis CENTENARO, Iralino Fidencio. Teoria das funções recursivas e aplicações a logica. 1977. 68 f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/306053>. Acesso em: 19 jul. 2018. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306053 por info:eu-repo/semantics/openAccess 68 f. application/pdf [s.n.] Universidade Estadual de Campinas. Instituto de Matemática, Estatística e Ciência da Computação Programa de Pós-Graduação em Matemática reponame:Repositório Institucional da Unicamp instname:Universidade Estadual de Campinas instacron:UNICAMP
collection	NDLTD
language	Portuguese
format	Others
sources	NDLTD
topic	Funções recursivas Lógica simbólica e matemática
spellingShingle	Funções recursivas Lógica simbólica e matemática Centenaro, Iralino Fidencio Teoria das funções recursivas e aplicações a logica
description	Orientador: Andres Raggio === Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação === Made available in DSpace on 2018-07-20T02:47:32Z (GMT). No. of bitstreams: 1 Centenaro_IralinoFidencio_M.pdf: 1220197 bytes, checksum: eac1b52a24281e9708380f3d735c2f8b (MD5) Previous issue date: 1977 === Resumo: Não informado === Abstract: Not informed === Mestrado === Mestre em Matemática
author2	UNIVERSIDADE ESTADUAL DE CAMPINAS
author_facet	UNIVERSIDADE ESTADUAL DE CAMPINAS Centenaro, Iralino Fidencio
author	Centenaro, Iralino Fidencio
author_sort	Centenaro, Iralino Fidencio
title	Teoria das funções recursivas e aplicações a logica
title_short	Teoria das funções recursivas e aplicações a logica
title_full	Teoria das funções recursivas e aplicações a logica
title_fullStr	Teoria das funções recursivas e aplicações a logica
title_full_unstemmed	Teoria das funções recursivas e aplicações a logica
title_sort	teoria das funções recursivas e aplicações a logica
publisher	[s.n.]
publishDate	1977
url	CENTENARO, Iralino Fidencio. Teoria das funções recursivas e aplicações a logica. 1977. 68 f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/306053>. Acesso em: 19 jul. 2018. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306053
work_keys_str_mv	AT centenaroiralinofidencio teoriadasfuncoesrecursivaseaplicacoesalogica
_version_	1718872116128907264

Teoria das funções recursivas e aplicações a logica

Similar Items