Detalles MARC
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
01092nam a22003735i 4500 |
| 001 - NÚMERO DE CONTROL |
|---|
| campo de control |
Rebiun17565913 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| campo de control |
OSt |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20170322121004.0 |
| 006 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA--CARACTERÍSTICAS DEL MATERIAL ADICIONAL |
|---|
| campo de control de longitud fija |
m d |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
cr n |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
121227s1996 xxu| s |||| 0|eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
9781461223603 |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
9781461275152 |
| 024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES |
|---|
| Número estándar o código |
10.1007/978-1-4612-2360-3 |
| Fuente del número o código |
doi |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro/agencia modificador |
WaSeSS |
| 041 ## - CÓDIGO DE LENGUA |
|---|
| Código de lengua del texto/banda sonora o título independiente |
eng. |
| 072 #7 - CÓDIGO DE CATEGORÍA DE MATERIA |
|---|
| Código de categoría de materia |
UYA |
| Fuente |
bicssc |
| 072 #7 - CÓDIGO DE CATEGORÍA DE MATERIA |
|---|
| Código de categoría de materia |
MAT018000 |
| Fuente |
bisacsh |
| 072 #7 - CÓDIGO DE CATEGORÍA DE MATERIA |
|---|
| Código de categoría de materia |
COM051010 |
| Fuente |
bisacsh |
| 082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
005.131 |
| Número de edición |
23 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Fitting, Melvin |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
First-Order logic and automated theorem proving / |
| Mención de responsabilidad, etc. |
Melvin Fitting. |
| 250 ## - MENCIÓN DE EDICIÓN |
|---|
| Mención de edición |
2nd ed. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. (PIE DE IMPRENTA) |
|---|
| Lugar de publicación, distribución, etc. |
New York, NY : |
| Nombre del editor, distribuidor, etc. |
Springer New York ; |
| Fecha de publicación, distribución, etc. |
1996. |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
xvi, 326 p. ; |
| Dimensiones |
25 cm. |
| 490 ## - MENCIÓN DE SERIE |
|---|
| Mención de serie |
Graduate texts in computer science. |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
Includes index. |
| 504 ## - NOTA DE BIBLIOGRAFÍA, ETC. |
|---|
| Bibliografía, etc. |
Includes references bibliographic. |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| 9 (RLIN) |
2116 |
| Término de materia o nombre geográfico como elemento inicial |
Automatic theorem proving |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| 9 (RLIN) |
2114 |
| Término de materia o nombre geográfico como elemento inicial |
Propositional logic |
| 710 2# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA |
|---|
| Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada |
SpringerLink (Online service) |
| 776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL |
|---|
| Información de relación/Frase instructiva de referencia |
Printed edition: |
| Número Internacional Estándar del Libro |
9781461275152 |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Fuente del sistema de clasificación o colocación |
Clasificación Decimal Dewey |
| Tipo de ítem Koha |
Colección general |
| 999 ## - NÚMEROS DE CONTROL DE SISTEMA (KOHA) |
|---|
| Koha biblionumber |
2663 |
