La lógica como lenguaje de programación : (Record no. 57810)
[ view plain ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 01053nam a2200241 a 4500 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
| campo de control | AR-LpUFIB |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20250311170527.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 230201s2023 ag a o 000 0 spa d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| Número Internacional Estándar del Libro | 9789503423400 |
| 024 8# - Otro identificador estandar | |
| Número estándar o código | DIF-M8770 |
| -- | 8997 |
| -- | DIF008038 |
| 040 ## - FUENTE DE LA CATALOGACIÓN | |
| Centro catalogador/agencia de origen | AR-LpUFIB |
| Lengua de catalogación | spa |
| Centro/agencia transcriptor | AR-LpUFIB |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Smith, Clara Patricia |
| 245 10 - MENCIÓN DE TÍTULO | |
| Título | La lógica como lenguaje de programación : |
| Resto del título | aspectos declarativos y procedurales |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. | |
| Lugar de publicación, distribución, etc. | La Plata : |
| Nombre del editor, distribuidor, etc. | Edulp, |
| Fecha de publicación, distribución, etc. | 2023 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | 89 p. : |
| Otras características físicas | il. |
| 490 0# - MENCIÓN DE SERIE | |
| Mención de serie | Libros de Cátedra |
| 500 ## - NOTA GENERAL | |
| Nota general | Copia impresa de libro digital |
| 505 0# - NOTA DE CONTENIDO CON FORMATO | |
| Nota de contenido con formato | Introducción -- Capítulo 1 -- Determinación de satisfactibilidad en la lógica de enunciados -- Capítulo 2 -- Determinación de satisfactibilidad en la lógica de primer orden -- Capítulo 3 -- El enfoque orientado a modelos -- Capítulo 4 -- El enfoque orientado a pruebas -- Epílogo -- La autora |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | PROGRAMACIÓN LÓGICA |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | LÓGICA |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS | |
| Identificador Uniforme del Recurso | <a href=" http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=2666"> http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=2666</a> |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) | |
| Tipo de ítem Koha | Libro |
| Estado de retiro | Estado de pérdida | Estado dañado | Disponibilidad | Biblioteca permanente | Biblioteca actual | Fecha de adquisición | Número de inventario | Total de préstamos | Signatura topográfica completa | Código de barras | En préstamo | Fecha visto por última vez | Fecha del último préstamo | Precio válido a partir de | Tipo de ítem Koha | Colección | Identificador Uniforme del Recurso |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Préstamo a domicilio | Biblioteca de la Facultad de Informática | Biblioteca de la Facultad de Informática | 11/03/2025 | DIF-05349 | 1 | D.1.6 SMI | DIF-05349 | 10/04/2025 | 03/04/2025 | 03/04/2025 | 11/03/2025 | Libro | |||||
| Recurso en Línea | Biblioteca de la Facultad de Informática | Biblioteca de la Facultad de Informática | 11/03/2025 | 11/03/2025 | 11/03/2025 | Libro | Biblioteca digital | http://sedici.unlp.edu.ar/handle/10915/162904 | |||||||||
| Recurso en Línea | Biblioteca de la Facultad de Informática | Biblioteca de la Facultad de Informática | 11/03/2025 | 11/03/2025 | 11/03/2025 | Libro | Biblioteca digital | http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=2666 |