Browsing Facultad de Informática by Author "García Martínez, Jon Ander"
Now showing items 1-1 of 1
-
Restricciones de igualdad sobre el dominio de los naturales
García Martínez, Jon Ander (2015-10-15)El objetivo de este proyecto consiste en implementar una aplicación que busca todos los modelos de una fórmula recibida como entrada. Esta fórmula de entrada pertenece a la lógica NatEq, la cual es un subconjunto de la ...