Explorando Síntesis, Verificación y Razonamiento Sobre Agentes Inteligentes

En Máster en Lógica, Computación e Inteligencia Artificial (US)