TY  - BOOK
AU  - Ledesma,Luis de
TI  - Lógica para la computación
SN  - 9786077854333
U1  - 004 
PY  - 2010///
CY  - México
PB  - Alfaomega
KW  - PROCESAMIENTO DE DATOS CIENCIAS DE LAS COMPUTADORAS
KW  - CALCULO PROPOSICIONAL Y DE PREDICADOS
N1  - Factura Educativa; 1.- Teorias de Primer Orden 2.- Resolucion 3.- Elementos de Programacion Logica y PROLOG 4.- Definiciones y Demostraciones Inductivas 5.- Adecuacion de las tablas Analiticas 6.- Consideraciones elementales sobre la representacion del conocimiento con lenguajes de primer orden; Sistemas de la Información
ER  -