Buscar
Mostrando ítems 1-1 de 1
Artículo
Abducción en modelos finitos
(Universidad Nacional Autónoma de México, 2008)
Este artículo presenta un acercamiento a la resolución de problemas abductivos en C-estructuras, estructuras que tienen un universo de discurso finito y cada uno de sus elementos es la interpretación de una constante ...