TY  - BOOK
AU  - De Ledesma, Luis
TI  - Lógica para la computación: : Teorías de primer orden, resolución y elementos de programación lógica y PROLOG
SN  - 978-607-7854-33-3
U1  - 004 - Procesamiento de datos Ciencia de los computadores 
PY  - 2010///
CY  - México, D. F.: 
PB  - Alfaomega Grupo Editor, S.A. de C.V., 
KW  - Procesamiento de datos Ciencia de los computadores
N1  - Índice.-- Apéndices. Definiciones y demostraciones inductivas.-- Adecuación de las tablas analíticas.-- Consideraciones elementales sobre la representación del conocimiento con lenguajes de primer orden.-- Referencias.-- Índice alfabético; Teorías de primer orden.-- Resolución.-- Elementos de programación lógica y PROLOG; 2010
ER  -