Isabelle/ (Registro nro. 9299)
[ vista simple ]
000 -CABECERA | |
---|---|
Campo de control de longitud fija | 00719 a2200217 04500 |
001 - NÚMERO DE CONTROL | |
Campo de control | 9538 |
008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL | |
Campo de control de longitud fija | 050624s2002 eng d |
020 ## - ISBN (INTERNATIONAL STANDARD BOOK NUMBER) | |
ISBN | 3540433767 |
041 0# - CÓDIGO DE IDIOMA | |
Código de idioma para texto, pista de sonido o título separado | eng |
082 0# - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY | |
Número de clasificación Decimal | 004.01 |
Número de documento (Cutter) | N464i |
100 40 - ENCABEZAMIENTO PRINCIPAL--NOMBRE PERSONAL | |
Nombre de persona | Nipkow, Tobias |
9 (RLIN) | 23299 |
245 0# - TÍTULO PROPIAMENTE DICHO | |
Título | Isabelle/ |
Mención de responsabilidad, etc. | Hol: |
Parte restante del título | a proof assistant for higher-order logic / Tobias Nipkow |
260 4# - 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. | 2002. |
300 4# - DESCRIPCIÓN FÍSICA | |
Extensión | 218 p. |
504 4# - NOTA DE BIBLIOGRAFÍA, ETC. | |
Bibliografía, etc. | Incluye bibliografía e índice p. 209 |
650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
Nombre de materia o nombre geográfico como elemento de entrada | COMPUTER LOGIC |
9 (RLIN) | 23300 |
650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
Nombre de materia o nombre geográfico como elemento de entrada | AUTOMATIC THEOREM PROVING |
9 (RLIN) | 23301 |
700 40 - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL | |
Nombre de persona | Paulson, Lawrence C., Wenzel, Markus, |
9 (RLIN) | 23302 |
942 ## - ELEMENTOS KOHA | |
Fuente de clasificación o esquema de ordenación en estanterías | |
Koha tipo de item | LIBRO - MATERIAL GENERAL |
Disponibilidad | Mostrar en OPAC | Fuente de clasificación o esquema | Tipo de Descarte | Estado | Código de colección | Localización permanente | Localización actual | Fecha adquisición | Proveedor | Forma de Adq | Precio normal de compra | Datos del ítem (Volumen, Tomo) | Préstamos totales | Signatura completa | Código de barras | Fecha última consulta | Número de ejemplar | Coste, precio de reemplazo | Propiedades de Préstamo KOHA | Fecha de Descarte | Programa Académico |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Préstamo Normal | Colección / Fondo / Acervo / Resguardo | Bodega | Bodega | 2004-01-16 | Amazon | Compra | 88785.00 | Ej. 1 | 004.01 N464i | 014182 | 2015-05-26 | 1 | 56540.57 | LIBRO - MATERIAL GENERAL | 2014-10-14 | Ingenieria Sistemas |