Navegando por Autor Ferreira, Francicleber Martins
Mostrando resultados 5 a 5 de 5
< Anterior
Data do documento | Título | Autor(es) | Tipo |
---|---|---|---|
2019 | Synthesis of first-order sentences using Ehrenfeucht–Fraïssé games and Boolean satisfiability | Rocha, Thiago Alves | Tese |