Aplicação de formulas não-clausais em planejamento com redes de Petri /

Abstract

Orientador : Fabiano SilvaDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciencias Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 2006Inclui bibliografi

    Similar works