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
Formato: Libro
Lenguaje:Spanish
Publicado: México, D.F. : Madrid : Alfaomega ; Ra-Ma, 2010.
Edición:1a ed.
Colección:Computación. Programación
Materias:
Programación lógica.
Lógica computacional.
Prolog (Lenguaje de programación).
Descripción
Notas:Incluye bibliografía (p. [171]-174) e índice.
Descripción Física:177 p. : il. ; 23 cm.
ISBN:6077854336 (Alfaomega)
9786077854333 (Alfaomega)
8478979387 (Ra-Ma)
9788478979387 (Ra-Ma)

Ejemplares similares