MARC details
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
03782nam a22004335i 4500 |
| 001 - NÚMERO DE CONTROL |
|---|
| campo de control |
383239 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| campo de control |
ES-MaUEC |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20230102122058.0 |
| 006 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA--CARACTERÍSTICAS DEL MATERIAL ADICIONAL |
|---|
| campo de control de longitud fija |
a||||fo|||| 00| 0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
cr nn 008mamaa |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
221112s2022 sz | s |1|| 0|eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
9783030994617 |
| 024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES |
|---|
| Número estándar o código |
10.1007/978-3-030-99461-7 |
| Fuente del número o código |
doi |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
ES-MaUEC |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor |
ES-MaUEC |
| Centro/agencia modificador |
ES-MaUEC |
| 050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
|---|
| Número de clasificación |
QA76.62 |
| Número de documento/Ítem |
2022 EB |
| 245 00 - MENCIÓN DE TÍTULO |
|---|
| Título |
Functional and Logic Programming : |
| Resto del título |
16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings |
| Mención de responsabilidad, etc. |
edited by Michael Hanus, Atsushi Igarashi |
| 250 ## - MENCIÓN DE EDICIÓN |
|---|
| Mención de edición |
First edition 2022 |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
|---|
| Producción, publicación, distribución, fabricación y copyright |
Cham |
| Nombre del de productor, editor, distribuidor, fabricante |
Springer International Publising |
| Fecha de producción, publicación, distribución, fabricación o copyright |
2022 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
1 recurso en línea (XVI, 283 páginas) |
| Otras características físicas |
68 ilustraciones, 14 ilustraciones a color |
| 336 ## - TIPO DE CONTENIDO |
|---|
| Término de tipo de contenido |
texto |
| Código de tipo de contenido |
txt |
| Fuente |
rdacontent |
| 337 ## - TIPO DE MEDIO |
|---|
| Nombre/término del tipo de medio |
electrónico |
| Código del tipo de medio |
c |
| Fuente |
rdamedia |
| 338 ## - TIPO DE SOPORTE |
|---|
| Nombre/término del tipo de soporte |
recurso electrónico |
| Código del tipo de soporte |
cr |
| Fuente |
rdacarrier |
| 347 ## - CARACTERÍSTICAS DEL ARCHIVO DIGITAL |
|---|
| Tipo de archivo |
archivo de texto |
| Formato de codificación |
PDF |
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
Lecture Notes in Computer Science |
| Número Internacional Normalizado para Publicaciones Seriadas |
1611-3349 |
| Designación de volumen o secuencia |
13215 |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
Enhancing expressivity of checked corecursive streams -- Improving Type Error Reporting for Type Classes -- Asynchronous Unfold/Fold Transformation for Fixpoint Logic -- Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL -- Generating C (System Description) -- Translation Certification for Smart Contracts -- Zipping Strategies and Attribute Grammars -- Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform -- Scheduling Complexity of Interleaving Search -- Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming (System Description) -- A Functional Account of Probabilistic Programming with Possible Worlds (Declarative Pearl) -- Explanations as Programs in Probabilistic Logic Programming -- FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data -- A Lazy Desugaring System for Evaluating Programs with Sugars -- On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs. |
| 520 ## - SUMARIO, ETC. |
|---|
| Sumario, etc. |
This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022. The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory. |
| 988 ## - NOTA LOCAL 598 |
|---|
| Nota local 598 (boletines) |
Springer_Computer_2022 |
| 650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Fuente del encabezamiento o término |
embne |
| 9 (RLIN) |
158251 |
| Término de materia o nombre geográfico como elemento de entrada |
Programación funcional (Informática) |
| Subdivisión de forma |
Congresos y asambleas |
| 650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Fuente del encabezamiento o término |
embne |
| 9 (RLIN) |
160750 |
| Término de materia o nombre geográfico como elemento de entrada |
Programación lógica |
| Subdivisión de forma |
Congresos y asambleas |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Hanus, Michael |
| Término indicativo de función/relación |
editor literario |
| Número de control del registro de autoridad o número normalizado |
(orcid)0000-0002-4953-8202 |
| Enlace |
<a href="https://orcid.org/0000-0002-4953-8202">https://orcid.org/0000-0002-4953-8202</a> |
| Código de función/relación |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Igarashi, Atsushi |
| Término indicativo de función/relación |
editor literario |
| Número de control del registro de autoridad o número normalizado |
(orcid)0000-0002-5143-9764 |
| Enlace |
<a href="https://orcid.org/0000-0002-5143-9764">https://orcid.org/0000-0002-5143-9764</a> |
| Código de función/relación |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| 776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL |
|---|
| Información de relación/Frase instructiva de referencia |
Printed edition: |
| Número Internacional Estándar del Libro |
9783030994600 |
| 776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL |
|---|
| Información de relación/Frase instructiva de referencia |
Printed edition: |
| Número Internacional Estándar del Libro |
9783030994624 |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Identificador Uniforme del Recurso |
https://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-99461-7 |
| Nota pública |
Acceso a este recurso digital (usuarios Universidad Europea de Madrid) |
| 999 ## - NÚMEROS DE CONTROL DE SISTEMA (KOHA) |
|---|
| -- |
1 |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Fuente del sistema de clasificación o colocación |
Library of Congress Classification |
| Tipo de ítem Koha |
LIBRO-E NO PRÉSTAMO |
| 998 ## - DATOS ESTADÍSTICOS |
|---|
| Fecha de catalogación |
11/2022 |
| Tipo de materia |
E-book |
| Catalogador |
Irene González |
| Catalogado |
Sí |