Navegando por Autor Ferreira, Macílio da Silva
Mostrando resultados 1 a 1 de 1
Data do documento | Título | Autor(es) | Tipo |
---|---|---|---|
2017 | Análise do planejador simbólico Alpha-CTL na detecção de problemas de planejamento sem solução | Ferreira, Macílio da Silva | TCC |