Resumen de Fundamentos de la programación en lógica una introducción
Fidel Oteiza M.
Este material tiene por objeto introducir los conceptos en que se fundamenta el uso de la lógica clausal como base para lenguajes computacionales.
Fidel Oteiza M.
Este material tiene por objeto introducir los conceptos en que se fundamenta el uso de la lógica clausal como base para lenguajes computacionales.
