Valorações para alguns sistemas de logica do tempo

Detalhes bibliográficos
Ano de defesa: 1982
Autor(a) principal: Mortari, Cezar Augusto
Orientador(a): Pereira, Oswaldo Porchat
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Link de acesso: https://repositorio.ufsc.br/handle/123456789/106171
Resumo: Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
id UFSC_08ad771a91c4dea5dbdd5f274b603ddd
oai_identifier_str oai:repositorio.ufsc.br:123456789/106171
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str
spelling Universidade Estadual de CampinasMortari, Cezar AugustoPereira, Oswaldo Porchat2013-12-05T19:29:55Z2013-12-05T19:29:55Z1982108685https://repositorio.ufsc.br/handle/123456789/106171Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasporCalculo de predicadosLógica simbólica e matemáticaValorações para alguns sistemas de logica do tempoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL108685.pdfapplication/pdf26771678https://repositorio.ufsc.br/bitstream/123456789/106171/1/108685.pdfc67e040d5ec4b9b4d53ddf1616794881MD51TEXT108685.pdf.txt108685.pdf.txtExtracted texttext/plain147887https://repositorio.ufsc.br/bitstream/123456789/106171/2/108685.pdf.txtba6448998073abe4827f86a17214f37eMD52123456789/1061712016-03-07 16:20:10.211oai:repositorio.ufsc.br:123456789/106171Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestsandra.sobrera@ufsc.bropendoar:23732016-03-07T19:20:10Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.en.fl_str_mv Valorações para alguns sistemas de logica do tempo
title Valorações para alguns sistemas de logica do tempo
spellingShingle Valorações para alguns sistemas de logica do tempo
Mortari, Cezar Augusto
Calculo de predicados
Lógica simbólica e matemática
title_short Valorações para alguns sistemas de logica do tempo
title_full Valorações para alguns sistemas de logica do tempo
title_fullStr Valorações para alguns sistemas de logica do tempo
title_full_unstemmed Valorações para alguns sistemas de logica do tempo
title_sort Valorações para alguns sistemas de logica do tempo
author Mortari, Cezar Augusto
author_facet Mortari, Cezar Augusto
author_role author
dc.contributor.en.fl_str_mv Universidade Estadual de Campinas
dc.contributor.author.fl_str_mv Mortari, Cezar Augusto
dc.contributor.advisor1.fl_str_mv Pereira, Oswaldo Porchat
contributor_str_mv Pereira, Oswaldo Porchat
dc.subject.classification.en.fl_str_mv Calculo de predicados
Lógica simbólica e matemática
topic Calculo de predicados
Lógica simbólica e matemática
description Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
publishDate 1982
dc.date.issued.fl_str_mv 1982
dc.date.accessioned.fl_str_mv 2013-12-05T19:29:55Z
dc.date.available.fl_str_mv 2013-12-05T19:29:55Z
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://repositorio.ufsc.br/handle/123456789/106171
dc.identifier.other.en.fl_str_mv 108685
identifier_str_mv 108685
url https://repositorio.ufsc.br/handle/123456789/106171
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/106171/1/108685.pdf
https://repositorio.ufsc.br/bitstream/123456789/106171/2/108685.pdf.txt
bitstream.checksum.fl_str_mv c67e040d5ec4b9b4d53ddf1616794881
ba6448998073abe4827f86a17214f37e
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv sandra.sobrera@ufsc.br
_version_ 1851758950010060800

Registros relacionados