Lógica para la Computación: Teorías de Primer Orden, Resolución y Elementos de Programación Lógica y Prolog /

De Ledesma, Luis

Lógica para la Computación: Teorías de Primer Orden, Resolución y Elementos de Programación Lógica y Prolog / Luis De Ledesma. - 180 páginas : ilustraciones.

Incluye Indice y Referencias.

9786076077854333


ALGORITMOS
BASES DE DATOS
LOGICA - COMPUTADORES
LENGUAJE DE PROGRAMACION - PROLOG

001.64 / D278l