Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Subject "Razonamiento automático"
Now showing items 1-1 of 1
-
Simetrías en lógicas de descripción
(2017)En esta tesis trabajaremos con el concepto de simetría en el contexto del razonamiento automático. Si podemos identificar las simetrías de un problema, podríamos utilizarlas para reducir la dificultad del razonamiento ...