00980nam a2200301 i 4500 033982 20251030133505.0 t| 150107s2010 mx##################spa#d 9786076077854333 CO-ViULL rda spa spa mx 001.64 D278l De Ledesma, Luis 135782, autor. aut Lógica para la Computación: Teorías de Primer Orden, Resolución y Elementos de Programación Lógica y Prolog / Luis De Ledesma. Mexico : Alfaomega, 2010. 180 páginas : ilustraciones. texto txt rdacontent sin mediación n rdamedia volumen nc rdacarrier Incluye Indice y Referencias. ALGORITMOS 135783. BASES DE DATOS 135784. LOGICA - COMPUTADORES 135785. LENGUAJE DE PROGRAMACION - PROLOG 135786. ddc BK 30977 30977 0 0 ddc 0 0 0 001 001 2011-07-06 35.00 0 001.64 D278l 057402 2015-01-26 00:00:00 1 2015-01-26 BK 0 0 ddc 0 0 0 001 001 2011-07-06 35.00 0 001.64 D278l 057403 2015-01-26 00:00:00 2 2015-01-26 BK