Navegando por Autor Morais, Lara Letícia de
Mostrando resultados 1 a 1 de 1
| Câmpus | Programa/Curso | Data do documento | Título | Autor(es) |
|---|---|---|---|---|
| Toledo | Engenharia de Computação | 26-Jun-2025 | Implementação de um solucionador sat baseado no algoritmo DPLL com heurísticas de decisão | Morais, Lara Letícia de |