Programa de Doctorado de Lógica, Computación e Inteligencia Artificial

Actualmente imparto los cursos Lógicas para la Web y Síntesis, Verificación y Razonamiento sobre Agentes dentro del Programa de Doctorado: Lógica, Computación e Inteligencia Artificial del Departamento de Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla. Para más información sobre este programa, no dudes en contactar conmigo

Anuncios