Escolar Documentos
Profissional Documentos
Cultura Documentos
Identificação
Nome Ary Guedes Lins
Endereço
Formação acadêmica/titulação
2012 - 2017 Graduação em Engenharia da Computação.
Formação Complementar
2015 Eletrical and Computer Engeneering.
UNCC, Estados Unidos.
University of North Carolina at Charlotte,
Atuação Profissional
Projetos de pesquisa
2014 - 2014 RACIOCÍNIO AUTOMÁTICO COM O MÉTODO DE CONEXÕES PARA LÓGICAS DE
DESCRIÇÕES
Descrição: Desenvolver um trabalho de pesquisa cientifica e tecnológica que culmine
implementações eficientes de sistemas de inferências para várias lógicas de descrições,
sistemas estes baseados no método de conexões.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) .
Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Idiomas
Português Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Produções
Produção bibliográfica
Eventos
(Simpósio).