Detalhes para 067. Thiago Alves Rocha

PropriedadeValor
Nome:067. Thiago Alves Rocha
Descrição:

Título: Synthesis of First-Order Sentences using Ehrenfeucht–Fraïssé games and Boolean Satisfiability.

Banca Examinadora:

Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC - Orientadora)
Prof. Dr. Francicleber Martins Ferreira (UFC - Coorientador)
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Prof. Dr. Edward Hermann Haeusler (PUC-RJ)
Prof. Dr. Ruy José Guerra Barretto de Queiroz (UFPE)

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:5534 Hits
Última atualização em: 20/12/2023 15:24
Homepage: