Browsing Tesis de Doctorado en Ciencias de la Computación by Subject "Razonamiento automático"
Now showing items 1-1 of 1
-
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
(2014-03)En esta tesis investigamos el uso de simetrías en el contexto de lógicas modales y de satisfacibilidad módulo teorías (SMT). Desarrollamos el marco teórico para utilizar las simetrías de una fórmula modal utilizando el ...