Detalles MARC
000 -CABECERA |
campo de control de longitud fija |
01214nam a22003377a 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 |
20171204172347.0 |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
campo de control de longitud fija |
110516s1996 gw||||| |||| 00| 0 eng d |
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
Número Internacional Estándar del Libro |
3540617809 |
040 ## - FUENTE DE LA CATALOGACIÓN |
Centro catalogador/agencia de origen |
AR_CdUFM |
Centro/agencia transcriptor |
AR_CdUFM |
111 2# - ENTRADA PRINCIPAL--NOMBRE DE CONGRESO/REUNIÓN |
Nombre de congreso/reunión o jurisdicción como elemento de entrada |
International Workshop on Types for Proofs and Programs |
Fecha del congreso o de la firma del tratado |
(1995 : |
Sede del congreso/Lugar de la reunión |
Torino, Italy) |
245 10 - MENCIÓN DE TÍTULO |
Título |
Types for proofs and programs / |
Mención de responsabilidad, etc. |
edited by Stefano Berardi, Mario Coppo. |
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. |
1996. |
300 ## - DESCRIPCIÓN FÍSICA |
Extensión |
x, 296 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 ; |
Designación de volumen o secuencia |
v. 1158 |
490 0# - MENCIÓN DE SERIE |
Mención de serie |
LNCS ; |
Designación de volumen o secuencia |
v. 1158 |
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-Computación- |
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-Computation- |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Programas-Especificación. - |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Programs-Specification. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Programas-Verificación. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Programs-Verification. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Construcción y características del lenguaje. |
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 constructs and features. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Deducción y prueba de teoremas. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Deduction and theorem proving. |
700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
9 (RLIN) |
1368 |
Nombre de persona |
Berardi, Stefano |
Término indicativo de función/relación |
ed. |
700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
9 (RLIN) |
3494 |
Nombre de persona |
Coppo, Mario, |
Término indicativo de función/relación |
ed., |
Fechas asociadas al nombre |
1947- |
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 |
2011-05-16 |