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...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | Portuguese |
Published: |
[s.n.]
1977
|
Subjects: | |
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 |