¡Oferta!
LOGICA PARA LA COMPUTACION
TEORIAS DE PRIMER ORDEN, RESOLUCION Y ELEMENTOS DE PROGRAMACION LOGICA Y PROLOG
Introducción
Capítulo 1. Teorías de primer orden.
Capítulo 2. Resolución.
Capítulo 3. Elementos de programación lógica y prolog.
Apéndice A. Definiciones y demostraciones inductivas.
Apéndice B. Adecuación de las tablas analíticas.
Apéndice C. Consideraciones elementales sobre la representación del conocimiento con lenguajes de primer orden.
Referencias
Índice alfabético
El precio original era: $33.00.$15.00El precio actual es: $15.00.