Valorações para alguns sistemas de logica do tempo

Detalhes bibliográficos
Ano de defesa: 1982
Autor(a) principal: Mortari, Cezar Augusto
Orientador(a): Não Informado pela instituição
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
Palavras-chave em Português:
Calculo de predicados
Lógica simbólica e matemática
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 Valorações para alguns sistemas de logica do tempoCalculo de predicadosLógica simbólica e matemáticaDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasPereira, Oswaldo PorchatUniversidade Estadual de CampinasMortari, Cezar Augusto2013-12-05T19:29:55Z2013-12-05T19:29:55Z1982info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf108685https://repositorio.ufsc.br/handle/123456789/106171porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2016-03-07T19:20:10Zoai:repositorio.ufsc.br:123456789/106171Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732016-03-07T19:20:10Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.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.none.fl_str_mv Pereira, Oswaldo Porchat
Universidade Estadual de Campinas
dc.contributor.author.fl_str_mv Mortari, Cezar Augusto
dc.subject.por.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.none.fl_str_mv 1982
2013-12-05T19:29:55Z
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 108685
https://repositorio.ufsc.br/handle/123456789/106171
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.format.none.fl_str_mv application/pdf
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
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1785187783311097856

Registros relacionados