Navegando por Autor Rocha, Thiago Alves
Mostrando resultados 3 a 3 de 3
< 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 |