SIBU - SISTEMAS DE BIBLIOTECAS UNICOC
Su carrito está vacío.
Programación lógica (Registro nro. 10851)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| Campo de control de longitud fija | 02092nam a22003137a 4500 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
| Campo de control | OSt |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| Campo de control | 20260416140152.0 |
| 008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA | |
| Campo de control de longitud fija | 260415t2007 xxu||||| |||| 00| 0 spa d |
| 020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS (ISBN) | |
| Número Internacional Normalizado para Libros (ISBN) | 9788483223680 |
| 040 ## - FUENTE DE LA CATALOGACIÓN | |
| Centro catalogador de origen | Unicoc |
| Lengua de catalogación | spa |
| Centro que cataloga | Bogotá (Dr. David Ordóñez Rueda) - Campus Norte |
| Centro modificador | Bogotá (Dr. David Ordóñez Rueda) - Campus Norte |
| 082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY | |
| Número de clasificación | 005.115 |
| 100 ## - PUNTO DE ACCESO PRINCIPAL - NOMBRE DE PERSONA | |
| 9 (RLIN) | 12949 |
| Nombre de persona | Iranzo Pascual, Julián |
| 245 ## - MENCIÓN DE TÍTULO | |
| Título | Programación lógica |
| Subtitulo o Resto del título | : Teoría y práctica |
| Mención de responsabilidad etc. | / Pascual Julián Iranzo, María Alpuente Frasnedo |
| 250 ## - MENCIÓN DE EDICIÓN | |
| Mención de edición | 1 Ed. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Lugar de publicación distribución etc. | España : |
| Nombre del editor distribuidor etc. | Pearson , |
| Fecha de publicación distribución etc. | 2007 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | 498 páginas |
| Otras características físicas | Ilustraciones, diagramas, tablas, gráficas |
| 500 ## - NOTA GENERAL | |
| Nota general | Incluye Índice y Bibliografía |
| 505 ## - NOTA DE CONTENIDO CON FORMATO | |
| Título | CAPÍTULO 1 Una Panorámica de la Programación Declarativa. -- |
| -- | Parte I. Fundamentos: sistemas formales, lógica y lenguajes de programación. -- |
| -- | CAPÍTULO 2 Sistemas Formales, Lógica y Lenguajes de Programación. -- |
| -- | CAPÍTULO 3 De la Demostración Automática a la Programación Lógica (I): introducción y métodos semánticos. -- |
| -- | CAPÍTULO 4 De la Demostración Automática a la Programación Lógica (II): el principio de resolución de Robinson. -- |
| -- | Parte II. Programación lógica. -- |
| -- | CAPÍTULO 5 Programación Lógica. -- |
| -- | CAPÍTULO 6 El Lenguaje Prolog: Introducción. -- |
| -- | CAPÍTULO 7 El Lenguaje Prolog: Aspectos Avanzados. -- |
| -- | Parte III. Aplicaciones de la programación lógica. -- |
| -- | CAPÍTULO 8 Representación del conocimiento. -- |
| -- | CAPÍTULO 9 Resolución de problemas. -- |
| -- | CAPÍTULO 10 Programación Lógica y Tecnología Software Rigurosa. -- |
| -- | Apéndice: Fundamentos y notaciones matemáticas. |
| 526 ## - NOTA DE INFORMACIÓN SOBRE EL PROGRAMA DE ESTUDIO | |
| Institución que aplica el campo | Unicoc |
| 546 ## - NOTA DE LENGUA | |
| Nota de lengua | Español |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
| 9 (RLIN) | 5064 |
| Término de materia o nombre geográfico como elemento inicial | Programación |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
| 9 (RLIN) | 8257 |
| Término de materia o nombre geográfico como elemento inicial | Estructura de datos |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
| 9 (RLIN) | 10398 |
| Término de materia o nombre geográfico como elemento inicial | Algoritmos |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
| 9 (RLIN) | 10397 |
| Término de materia o nombre geográfico como elemento inicial | Variables, constantes y operadores |
| 658 #0 - TÉRMINO DE INDIZACIÓN - OBJETIVO CURRICULAR | |
| 9 (RLIN) | 8220 |
| Programa Académico | Programa de Ingeniería de Sistemas |
| 700 ## - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA | |
| 9 (RLIN) | 12950 |
| Nombre de persona | Alpuente Frasnedo, María |
| 856 ## - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS | |
| Texto del enlace | Acceso online exclusivo para comunidad Unicoc. |
| Identificador Uniforme del Recurso (URI) | https://unicoceduco-my.sharepoint.com/:b:/g/personal/direccionbiblioteca_unicoc_edu_co/IQDcAZwK-V_HTqUPkWWHVDmfAVQsgjPmZqxvTsy8_e9Sv_Y |
| 942 ## - ENTRADA PARA ELEMENTOS AGREGADOS (KOHA) | |
| Fuente de clasificación o esquema de ordenación en estanterías | |
| Koha [por defecto] tipo de item | Libro electrónico |
| Precio | Fecha última consulta | Estado de pérdida | Localización actual | Fecha del precio de reemplazo | Signatura completa | Código de barras | Código de colección | Localización permanente | No para préstamo | Fecha de adquisición | Fuente de clasificación o esquema de ordenación en estanterías | Estropeado | Tipo de item de Koha | Fuente de adquisición |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 200000.00 | 2026-04-15 | Bogotá (Dr. David Ordóñez Rueda) - Campus Norte | 2026-04-15 | 005.115 | Ebook10851 | Coleccion Online | Bogotá (Dr. David Ordóñez Rueda) - Campus Norte | 2026-04-15 | Libro electrónico | Compra |
© 2014 UNICOC | Institución Universitaria Colegios de Colombia - UNICOC
Bogotá D.C. Autopista Norte Km. 20. Teléfono:(571)6683535
Cali: Calle 13 Norte No. 3N-13. Teléfono: (572)6608887