Propriedade | Valor |
Nome: | 067. Thiago Alves Rocha |
Descrição: | Título: Synthesis of First-Order Sentences using Ehrenfeucht–Fraïssé games and Boolean Satisfiability. Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC - Orientadora) 30 de agosto de 2019 |
Nome do arquivo: | Link to 2019_tese_tarocha.pdf |
Tamanho do arquivo: | Desconhecido |
Tipo do arquivo: | pdf (Tipo Mime: link) |
Autor: | secretariamdcc |
Criado em: | 13/04/2020 00:00 |
Viewers: | Everybody |
Mantido por: | Editor |
Hits: | 6513 Hits |
Última atualização em: | 20/12/2023 15:24 |
Homepage: |