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

Description

Resumo

Links & Downloads

1. http://hdl.handle.net/1884/28340

Tags

Teses

Redes de petri

Teoria dos grafos

Algoritmos

Additional Fields

Identifer	oai:union.ndltd.org:IBICT/oai:dspace.c3sl.ufpr.br:1884/28340
Date	05 October 2012
Creators	Schreiner, Marcos Antonio
Contributors	Castilho, Marcos Alexandre, 1965-, Universidade Federal do Paraná. Setor de Ciencias Exatas. Programa de Pós-Graduaçao em Informática
Source Sets	IBICT Brazilian ETDs
Language	Portuguese
Detected Language	Portuguese
Type	info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Format	application/pdf
Source	reponame:Repositório Institucional da UFPR, instname:Universidade Federal do Paraná, instacron:UFPR
Rights	info:eu-repo/semantics/openAccess