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
Formato: Libro
Lenguaje:Spanish
Publicado: México : Alfaomega Grupo Editor, 2010.
Materias:
Lógica computacional
Programación lógica
Computación
libros
Tabla de Contenidos:
  • Apéndices

Ejemplares similares