CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Theorem proving with analytic tableaux and related methods / (Record no. 992)

000 -CABECERA
Longitud fija campo de control 01244nam a22003257a 4500
003 - IDENTIFICADOR DELl NÚMERO DE CONTROL
Identificador del número de control AR_CdUFM
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
Fecha y hora de la última transacción 20160908121848.0
008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA
Códigos de información de longitud fija 111221s1996 gw||||| |||| 00| 0 eng d
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS
Número Internacional Normalizado para Libros (ISBN) 3540612084
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador de origen AR_CdUFM
111 2# - PUNTO DE ACCESO PRINCIPAL-NOMBRE DE CONGRESO
Nombre de congreso o jurisdicción como elemento de entrada TABLEAUX '96
Número del congreso o número de parte o sección de la obra (5º :
Fecha del congreso 1996 :
Sede del congreso Terrasini, Palermo, Italy)
245 10 - MENCIÓN DE TÍTULO
Título Theorem proving with analytic tableaux and related methods /
Mención de responsabilidad, etc. ed. Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi.
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. (PIE DE IMPRENTA)
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, 329 p. :
Otras características físicas il. ;
Dimensiones 24 cm.
490 1# - MENCIÓN DE SERIE
Mención de serie Lecture notes in computer science ;
Designación de volumen o secuencia v. 1071
490 1# - MENCIÓN DE SERIE
Mención de serie Lecture notes in artificial intelligence
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial 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 inicial Deduction 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 inicial 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 inicial Mathematical logic-Computation.
700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA
9 (RLIN) 11526
Nombre de persona Miglioli, Pierangelo,
Término indicativo de función ed.
700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA
9 (RLIN) 11922
Nombre de persona Moscato, Ugo,
Término indicativo de función ed.
700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA
9 (RLIN) 12054
Nombre de persona Mundici, Daniele,
Término indicativo de función ed.
700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA
9 (RLIN) 12741
Nombre de persona Ornaghi, Mario,
Término indicativo de función ed.
830 #0 - PUNTO DE ACCESO ADICIONAL DE SERIE - TÍTULO UNIFORME
Título uniforme Lecture notes in computer science ;
Designación de volumen o secuencia v. 1071
830 #0 - PUNTO DE ACCESO ADICIONAL DE SERIE - TÍTULO UNIFORME
Título uniforme Lecture notes in computer science.
Nombre de parte o sección de la obra Lecture notes in artificial intelligence
942 ## - ENTRADA DE ELEMENTOS AGREGADOS (KOHA)
Koha [por defecto] tipo de item Libro
Fuente de clasificaión o esquema
945 ## - TRATAMIENTO DE LA INFORMACIÓN LOCAL (OCLC)
a AB
945 ## - TRATAMIENTO DE LA INFORMACIÓN LOCAL (OCLC)
a 2011-12-21
Holdings
Suprimido Perdido Estropeado No para préstamo Localización permanente Localización actual Localización en estanter&íacute;as Fecha adquisición Fuente de adquisición Signatura completa Código de barras Fecha última consulta Fecha del precio de reemplazo Tipo de item de Koha
        FaMAF FaMAF Sección Lecture Notes 2008-06-09 FOMEC/Comp. C LNAI v. 1071 15524 2008-06-09 2008-06-09 Libro

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

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

publicofamaf@gmail.com