Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG /

Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG /

Detalles Bibliográficos
Autor principal: Ledesma, Luis de (Autor, Autor/a)
Formato: Libro
Lenguaje:Spanish
Publicado: México, Distrito Federal : Alfaomega, 2009, c2010.
Edición:1. edición
Materias:
PROGRAMACION LOGICA
PROLOG (LENGUAJE DE PROGRAMACION PARA COMPUTADORA)
LOGICA DE PRIMER ORDEN

Ejemplares similares

Ejemplares similares