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).

Ejemplares similares

Ejemplares similares