Uma introdução a técnicas de forcing
Autor(a) principal: | |
---|---|
Data de Publicação: | 2022 |
Tipo de documento: | Artigo de conferência |
Idioma: | por |
Título da fonte: | Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual) |
Texto Completo: | https://sites.google.com/usp.br/sim2022/pagina-inicial |
id |
USP-2_a9980b9be3edc4953cfad9743671aa44 |
---|---|
oai_identifier_str |
003100137 |
network_acronym_str |
USP-2 |
network_name_str |
Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual) |
repository_id_str |
2721 |
spelling |
Uma introdução a técnicas de forcingÁLGEBRAS DE BOOLE2022info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/conferenceObjecthttps://sites.google.com/usp.br/sim2022/pagina-inicialhttps:/directbitstream/ea4c0d56-b208-46e5-a099-0d7139335a1a/Aurichi, Leandro Fioriniporreponame:Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)instname:Universidade de São Paulo (USP)instacron:USPinfo:eu-repo/semantics/openAccess2024-06-17T14:02:00Z003100137Repositório InstitucionalPUBhttp://www.producao.usp.br/oai/requestopendoar:27212024-06-17T14:02Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual) - Universidade de São Paulo (USP)false |
dc.title.none.fl_str_mv |
Uma introdução a técnicas de forcing |
title |
Uma introdução a técnicas de forcing |
spellingShingle |
Uma introdução a técnicas de forcing Aurichi, Leandro Fiorini ÁLGEBRAS DE BOOLE |
title_short |
Uma introdução a técnicas de forcing |
title_full |
Uma introdução a técnicas de forcing |
title_fullStr |
Uma introdução a técnicas de forcing |
title_full_unstemmed |
Uma introdução a técnicas de forcing |
title_sort |
Uma introdução a técnicas de forcing |
author |
Aurichi, Leandro Fiorini |
author_facet |
Aurichi, Leandro Fiorini |
author_role |
author |
dc.contributor.author.fl_str_mv |
Aurichi, Leandro Fiorini |
dc.subject.por.fl_str_mv |
ÁLGEBRAS DE BOOLE |
topic |
ÁLGEBRAS DE BOOLE |
publishDate |
2022 |
dc.date.none.fl_str_mv |
2022 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/conferenceObject |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://sites.google.com/usp.br/sim2022/pagina-inicial |
url |
https://sites.google.com/usp.br/sim2022/pagina-inicial |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
https:/directbitstream/ea4c0d56-b208-46e5-a099-0d7139335a1a/ |
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 USP (Biblioteca Digital da Produção Intelectual) instname:Universidade de São Paulo (USP) instacron:USP |
instname_str |
Universidade de São Paulo (USP) |
instacron_str |
USP |
institution |
USP |
reponame_str |
Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual) |
collection |
Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual) |
repository.name.fl_str_mv |
Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual) - Universidade de São Paulo (USP) |
repository.mail.fl_str_mv |
|
_version_ |
1809091345760911361 |