Logica para la Computacion, teorias de primer orden, resolucion y elementos de programacion logica y Prolog - De Ledesma, Luis (Mexico ; Ajaomega, 2010)
Keywords: ADECUACION DE LAS TABLAS ANALITICAS; DEFINICIONES Y DEMOSTRACIONES EDUCATIVAS; ELEMENTOS DE PROGRAMACION LOGICA Y PROLOG; RESOLUCION; TEORIAS DE PRIMER ORDEN