Navegando por Autor Menezes, Maria Viviane de
Mostrando resultados 1 a 1 de 1
Data do documento | Título | Autor(es) | Tipo |
---|---|---|---|
2022 | Especificando preferências sobre políticas em problemas de planejamento não determinísticos usando a lógica alpha-CTL | Machado, Warlles Carlos Costa | Dissertação |