Lógica para la computación: (Registro nro. 153360)
[ vista simple ]
| 000 -Cabecera (24) | |
|---|---|
| Campo de control interno | 01121nam a2200229Ia 4500 |
| 001 - Número de control | |
| Campo de control | UGUAYAQUIL84527 |
| 007 - Tipo material - Descripcion fisica - info general | |
| Tipo material | ta |
| 008 - Códigos de longitud fija (40p) | |
| Campo de control de longitud fija | 210719s2010||||xx |||||||||||||| ||und|| |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 978-607-7854-33-3 |
| 040 ## - Origen de la Catalogacion | |
| Origen de la Catalogacion | UGUAYAQUIL |
| 043 ## - Pais ISO | |
| País ISO | México |
| 082 ## - Número de la Clasificación | |
| Clasificación | 004 - Procesamiento de datos Ciencia de los computadores |
| 100 ## - Autor Personal | |
| Autor Personal | De Ledesma, Luis |
| Rol del autor | autor |
| 245 #0 - Titulo | |
| Titulo | Lógica para la computación: |
| Subtitulo | Teorías de primer orden, resolución y elementos de programación lógica y PROLOG |
| 260 ## - Editorial | |
| Ciudad | México, D. F.: |
| Nombre de la Editorial | Alfaomega Grupo Editor, S.A. de C.V., |
| Fecha | 2010 |
| 300 ## - Descripcion | |
| Páginas | 180 p. : |
| Otros detalles físicos | il., fig., tab. ; |
| Dimensiones | 23 cm |
| 500 ## - Nota General | |
| Nota General | Í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 |
| 505 ## - Nota de contenido formateada | |
| Nota de contenido formateada | Teorías de primer orden.-- Resolución.-- Elementos de programación lógica y PROLOG. |
| 513 ## - Nota de periodo de años | |
| Nota de periodo de años | 2010 |
| 650 ## - Temas - Descriptores | |
| Temas - Descriptores | Procesamiento de datos Ciencia de los computadores |
| 9 (RLIN) | 58549 |
| 942 ## - Datos personalizados Koha | |
| Tipo de Documento | Libro |
| Fecha procesamiento | 2018-04-10 |
| Catalogador | mtaibot |
| Estado | Colección | Ubicacion permanente | Ubicacion actual | Fecha de Ingreso a la Biblioteca | Precio | Prestamos | Clasificación | Código de barras | Ultima fecha de verificacion | Tipo de Item | Catalogador|Nota pública |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Libros | Facultad Ingeniería Industrial / Ing. Alfredo Hincapie Segura | Facultad Ingeniería Industrial / Ing. Alfredo Hincapie Segura | 04/10/2018 | 10 | 004 LEDl | BINGI2673 | 07/20/2021 | Libro | mtaibot |