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, D. F. : Alfaomega Grupo Editor ; Madrid, España : RA-MA, 2010.
Edición:1a. ed. --
Colección:(Computación ; Programación)
Materias:
LOGICA DE PRIMER ORDEN
LENGUAJES DE PROGRAMACION (COMPUTADORES ELECTRONICOS DIGITALES)
PROGRAMACION LOGICA
PROLOG (LENGUAJE DE PROGRAMACION DE COMPUTADORES)
LOGICA SIMBOLICA Y MATEMATICA

Ejemplares similares

Ejemplares similares