Home Teses e Dissertações Teses de Doutorado Teses e Dissertações Teses de Doutorado
Teses de Doutorado
Documentos
003. Alexandre Silva Cavalcante
hot!
Downloads: | 17964 |
Título: Sistemas Esquemáticos de Dedução Natural - Um Estudo Prova-Teórico.
Banca:
Profª. Drª Ana Teresa de Castro Martins (MDCC/UFC - Orientadora)
Prof. Dr. Marcelino Cavalcante Pequeno (MDCC/UFC)
Prof. Dr. Luiz Carlos Pereira (PUC/RJ)
Prof. Dr. Ruy de Queiroz (UFPE)
Prof. Dr. Mário Roberto Folhadela Benevides (UFRJ)
Data: 12 de março de 2010
002. Vládia Célia Monteiro Pinheiro
hot!
Downloads: | 12354 |
Título: SIM: Um Modelo Semântico Inferencialista para Expressão e Raciocínio em Sistemas de Linguagem Natural
Banca Examinadora:
Prof. Dr. Tarcisio Haroldo Cavalcante Pequeno (UFC - Orientador)
Prof. Dr. João José Vasco Peixoto Furtado (UNIFOR)
Prof. Dr. Marcelino Cavalcante Pequeno (MDCC/UFC)
Profª. Drª. Clarisse Sieckenius de Souza (PUC/RJ)
Profª. Drª Helena Franco Martins (PUC/RJ)
Data: 12 de março de 2010
001. Gerardo Valdisio Rodrigues Viana
hot!
Downloads: | 19694 |
Título: Técnicas para Construção de Árvores Filogenéticas
Banca Examinadora:
Prof. Dr. Fernando Antonio de Carvalho Gomes (MDCC/UFC - Orientador)
Prof. Dr. Nelson Maculan Filho (UFRJ)
Prof. Dr. Carlos Eduardo Ferreira (IME)
Prof. Dr. Ruy Luiz Milidiú (PUC/RJ)
Prof. Dr. Thalles Barbosa Grangeiro (UFC)
Prof. Dr. Tarcísio Haroldo Cavalcante Pequeno (UFC)
Data: 27 de abril de 2007