Detalles MARC
000 -CABECERA |
campo de control de longitud fija |
01468cam a22003737a 4500 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
campo de control |
AR_CdUFM |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
campo de control |
20160908124613.0 |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
campo de control de longitud fija |
091009s2009 gw a b 101 0 eng d |
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
Número Internacional Estándar del Libro |
9783642022722 |
040 ## - FUENTE DE LA CATALOGACIÓN |
Centro catalogador/agencia de origen |
BTCTA |
Centro/agencia transcriptor |
BTCTA |
Centro/agencia modificador |
OHX |
-- |
TXH |
-- |
DLC |
-- |
AR_CdUFM |
111 2# - ENTRADA PRINCIPAL--NOMBRE DE CONGRESO/REUNIÓN |
Nombre de congreso/reunión o jurisdicción como elemento de entrada |
International Conference on Typed Lambda Calculi and Applications |
Número del congreso/reunión o número de parte o sección |
(9º : |
Fecha del congreso o de la firma del tratado |
2009 : |
Sede del congreso/Lugar de la reunión |
Brasilla, Brazil) |
245 10 - MENCIÓN DE TÍTULO |
Título |
Typed lambda calculi and applications : |
Resto del título |
9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings / |
Mención de responsabilidad, etc. |
Pierre-Louis Curien (ed.). |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
Lugar de publicación, distribución, etc. |
Berlin ; |
Nombre del editor, distribuidor, etc. |
Springer, |
Fecha de publicación, distribución, etc. |
c2009. |
300 ## - DESCRIPCIÓN FÍSICA |
Extensión |
xiii, 415 p. : |
Otras características físicas |
il. ; |
Dimensiones |
24 cm. |
490 0# - MENCIÓN DE SERIE |
Mención de serie |
Lecture notes in computer science, |
Número Internacional Normalizado para Publicaciones Seriadas |
0302-9743 ; |
Designación de volumen o secuencia |
v. 5608 |
490 0# - MENCIÓN DE SERIE |
Mención de serie |
LNCS ; |
Designación de volumen o secuencia |
v. 5608 |
504 ## - NOTA DE BIBLIOGRAFÍA, ETC. |
Nota de bibliografía, etc. |
Incluye referencias bibliográficas e índice. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Logic programming. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Language classifications. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Logics and meanings of programs. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Mathematical logic. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Formal languages. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Deducton and theorem proving. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Lambda calculus. |
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 en 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 |
Clasificación de lenguajes. |
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 y significado de programas. |
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 matemática. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Lenguajes formales. |
700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
9 (RLIN) |
3712 |
Nombre de persona |
Curien, Pierre-Louis, |
Término indicativo de función/relación |
ed. |
942 ## - ELEMENTOS DE ENTRADA AGREGADA (KOHA) |
Tipo de ítem Koha |
Libro |
Fuente del sistema de clasificación o colocación |
|
945 ## - PROCESAMIENTO DE INFORMACIÓN LOCAL (OCLC) |
Codigo del Catalogador |
MCR |
Fecha |
2012-08-13 |