Planejamento por satisfatibilidade clausal e não-clausal baseado na rede de planos

Detalhes bibliográficos
Autor(a) principal: Schreiner, Marcos Antonio
Data de Publicação: 2012
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFPR
Texto Completo: http://hdl.handle.net/1884/28340
Resumo: Resumo
id UFPR_30f702b64571639cfe8ba081f8190757
oai_identifier_str oai:acervodigital.ufpr.br:1884/28340
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str 308
spelling Schreiner, Marcos AntonioCastilho, Marcos Alexandre, 1965-Universidade Federal do Paraná. Setor de Ciencias Exatas. Programa de Pós-Graduaçao em Informática2012-10-05T18:21:04Z2012-10-05T18:21:04Z2012-10-05http://hdl.handle.net/1884/28340Resumoapplication/pdfTesesRedes de petriTeoria dos grafosAlgoritmosPlanejamento por satisfatibilidade clausal e não-clausal baseado na rede de planosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALR - D - MARCOS ANTONIO SCHREINER.pdfapplication/pdf2901048https://acervodigital.ufpr.br/bitstream/1884/28340/1/R%20-%20D%20-%20MARCOS%20ANTONIO%20SCHREINER.pdfe029b8d334b967f705d0a326cc46f1d8MD51open accessTEXTR - D - MARCOS ANTONIO SCHREINER.pdf.txtR - D - MARCOS ANTONIO SCHREINER.pdf.txtExtracted Texttext/plain143549https://acervodigital.ufpr.br/bitstream/1884/28340/2/R%20-%20D%20-%20MARCOS%20ANTONIO%20SCHREINER.pdf.txt7cd6ca94d5420de2da0752fca2b42378MD52open accessTHUMBNAILR - D - MARCOS ANTONIO SCHREINER.pdf.jpgR - D - MARCOS ANTONIO SCHREINER.pdf.jpgGenerated Thumbnailimage/jpeg1174https://acervodigital.ufpr.br/bitstream/1884/28340/3/R%20-%20D%20-%20MARCOS%20ANTONIO%20SCHREINER.pdf.jpg02b1fac739944f95c5467fe4f6f3900eMD53open access1884/283402016-04-07 08:30:53.518open accessoai:acervodigital.ufpr.br:1884/28340Repositório de PublicaçõesPUBhttp://acervodigital.ufpr.br/oai/requestopendoar:3082016-04-07T11:30:53Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Planejamento por satisfatibilidade clausal e não-clausal baseado na rede de planos
title Planejamento por satisfatibilidade clausal e não-clausal baseado na rede de planos
spellingShingle Planejamento por satisfatibilidade clausal e não-clausal baseado na rede de planos
Schreiner, Marcos Antonio
Teses
Redes de petri
Teoria dos grafos
Algoritmos
title_short Planejamento por satisfatibilidade clausal e não-clausal baseado na rede de planos
title_full Planejamento por satisfatibilidade clausal e não-clausal baseado na rede de planos
title_fullStr Planejamento por satisfatibilidade clausal e não-clausal baseado na rede de planos
title_full_unstemmed Planejamento por satisfatibilidade clausal e não-clausal baseado na rede de planos
title_sort Planejamento por satisfatibilidade clausal e não-clausal baseado na rede de planos
author Schreiner, Marcos Antonio
author_facet Schreiner, Marcos Antonio
author_role author
dc.contributor.other.pt_BR.fl_str_mv Castilho, Marcos Alexandre, 1965-
Universidade Federal do Paraná. Setor de Ciencias Exatas. Programa de Pós-Graduaçao em Informática
dc.contributor.author.fl_str_mv Schreiner, Marcos Antonio
dc.subject.por.fl_str_mv Teses
Redes de petri
Teoria dos grafos
Algoritmos
topic Teses
Redes de petri
Teoria dos grafos
Algoritmos
description Resumo
publishDate 2012
dc.date.accessioned.fl_str_mv 2012-10-05T18:21:04Z
dc.date.available.fl_str_mv 2012-10-05T18:21:04Z
dc.date.issued.fl_str_mv 2012-10-05
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 http://hdl.handle.net/1884/28340
url http://hdl.handle.net/1884/28340
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 UFPR
instname:Universidade Federal do Paraná (UFPR)
instacron:UFPR
instname_str Universidade Federal do Paraná (UFPR)
instacron_str UFPR
institution UFPR
reponame_str Repositório Institucional da UFPR
collection Repositório Institucional da UFPR
bitstream.url.fl_str_mv https://acervodigital.ufpr.br/bitstream/1884/28340/1/R%20-%20D%20-%20MARCOS%20ANTONIO%20SCHREINER.pdf
https://acervodigital.ufpr.br/bitstream/1884/28340/2/R%20-%20D%20-%20MARCOS%20ANTONIO%20SCHREINER.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/28340/3/R%20-%20D%20-%20MARCOS%20ANTONIO%20SCHREINER.pdf.jpg
bitstream.checksum.fl_str_mv e029b8d334b967f705d0a326cc46f1d8
7cd6ca94d5420de2da0752fca2b42378
02b1fac739944f95c5467fe4f6f3900e
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)
repository.mail.fl_str_mv
_version_ 1801860915647217664

Registros relacionados