| 000 -CABECERA |
|---|
| campo de control de longitud fija |
01284nam a2200205 4500 |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
9786076077854333 |
| 050 ## - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
|---|
| Número de clasificación |
005.1 D377l |
| 082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
005.36 H714s |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
141112s2010 mx r 000 u spa00 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| campo de control |
20140708 19 : 24 : 17 |
| 001 - NÚMERO DE CONTROL |
|---|
| campo de control |
798 |
| 100 ## - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
De Ledesma, Luis. |
| 240 ## - TÍTULO UNIFORME |
|---|
| Título uniforme |
Lógica para la Computación : Teorías de primer orden, resolución y elementos de programación lógica y PROLOG. |
| 245 ## - MENCIÓN DE TÍTULO |
|---|
| Título |
Lógica para la Computación : |
| Resto del título |
Teorías de primer orden, resolución y elementos de programación lógica y PROLOG / |
| Mención de responsabilidad, etc. |
Luis de Ledesma. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
México : |
| Nombre del editor, distribuidor, etc. |
Alfaomega - RaMa |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
177 p. |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
Compra realizada en Octubre de 2010. Libreria El Aprendiz. |
| -- |
8.160. \ Incluye : Apéndices, Referencias e Índice Alfabético. \ Libro inventariado en Junio de 2014. \ |
| 505 ## - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
Teorías de primer orden. -- 1.2. El cáculo de tablas analíticas. -- 1.3. Semántica. -- 1.4. Completud, consistencia y decibilidad. -- 1.5. La lógica de proposiciones. -- 2. Resolución. -- 2.1. Reducción a un conjunto de claúsulas. -- 2.2. Unificación. -- 2.3. Resolución y teoría de Herbrand. -- 3. Elementos de programación Lógica y Prolog. -- 3.1. Refinamiento y estrategias de la resolución. -- 3.2. Prolog. |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Fuente del sistema de clasificación o colocación |
|
| Tipo de ítem Koha |
Libro - Material General |
