Typed lambda calculi and applications : (Registro nro. 16470)

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
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 13/08/2012 Pagano, Miguel   C LNCS v. 5608 21508 13/08/2012 13/08/2012 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)