Razão, computação e sistemas formais

Detalhes bibliográficos
Autor(a) principal: Sanz, Wagner de Campos
Data de Publicação: 1991
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1575442
Resumo: Orientador : Carlos Alberto Lungarzo
id UNICAMP-30_5180e0fa559adba7704c7da359f54078
oai_identifier_str oai::29696
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Razão, computação e sistemas formaisInteligencia artificial - FilosofiaLógica - Estudo e ensinoOrientador : Carlos Alberto LungarzoDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: Não informadoAbstract: Not informed.MestradoMestre em Filosofia[s.n.]Lungarzo, Carlos Alberto, 1942-Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASSanz, Wagner de Campos19911991-05-27T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf[94]f : il.https://hdl.handle.net/20.500.12733/1575442SANZ, Wagner de Campos. Razão, computação e sistemas formais. 1991. [94]f Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1575442. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/29696porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2014-04-17T21:15:57Zoai::29696Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2014-04-17T21:15:57Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Razão, computação e sistemas formais
title Razão, computação e sistemas formais
spellingShingle Razão, computação e sistemas formais
Sanz, Wagner de Campos
Inteligencia artificial - Filosofia
Lógica - Estudo e ensino
title_short Razão, computação e sistemas formais
title_full Razão, computação e sistemas formais
title_fullStr Razão, computação e sistemas formais
title_full_unstemmed Razão, computação e sistemas formais
title_sort Razão, computação e sistemas formais
author Sanz, Wagner de Campos
author_facet Sanz, Wagner de Campos
author_role author
dc.contributor.none.fl_str_mv Lungarzo, Carlos Alberto, 1942-
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Sanz, Wagner de Campos
dc.subject.por.fl_str_mv Inteligencia artificial - Filosofia
Lógica - Estudo e ensino
topic Inteligencia artificial - Filosofia
Lógica - Estudo e ensino
description Orientador : Carlos Alberto Lungarzo
publishDate 1991
dc.date.none.fl_str_mv 1991
1991-05-27T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1575442
SANZ, Wagner de Campos. Razão, computação e sistemas formais. 1991. [94]f Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1575442. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1575442
identifier_str_mv SANZ, Wagner de Campos. Razão, computação e sistemas formais. 1991. [94]f Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1575442. Acesso em: 2 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/29696
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
[94]f : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188708809703424

Registros relacionados