Types for proofs and programs / (Registro nro. 8183)

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
Existencias
Estado de retiro Estado de pérdida Estado dañado No para préstamo Biblioteca de origen Biblioteca actual Ubicación en estantería Fecha de adquisición Fuente de adquisición Total de préstamos Signatura topográfica completa Código de barras Fecha visto por última vez Precio válido a partir de Tipo de ítem Koha
        FaMAF FaMAF Sección Lecture Notes 09/06/2008 FOMEC/Comp.   C LNCS v. 1158 14955 23/08/2013 09/06/2008 Libro


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)