Valorações para alguns sistemas de logica do tempo

Detalhes bibliográficos
Autor(a) principal: Mortari, Cezar Augusto
Data de Publicação: 1982
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: 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 2373
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 de PublicaçõesPUBhttp://150.162.242.35/oai/requestopendoar: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
_version_ 1766805048923258880

Registros relacionados