Detalles MARC
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
01131nam a22003257a 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 |
20160908122129.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
120229s1993 gw||||| |||| 00| 0 eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
3540563938 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
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 CTRS |
| Número del congreso/reunión o número de parte o sección |
(3º : |
| Fecha del congreso o de la firma del tratado |
1992 : |
| Sede del congreso/Lugar de la reunión |
Pount-à-Mousson, France) |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Conditional term rewriting systems / |
| Mención de responsabilidad, etc. |
ed. Michaël Rusinowitch, Jean-Luc Rémy. |
| 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. |
1993. |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
xv, 502 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. 656 |
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
LNCS ; |
| Designación de volumen o secuencia |
v. 656 |
| 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 |
Gramáticas y otros sistemas de reescritura. |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Grammars and other rewriting systems. |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Semántica. Sintaxis. |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Semantics. Sintax. |
| 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) |
14923 |
| Nombre de persona |
Rusinowitch, Michaël, |
| Término indicativo de función/relación |
ed. |
| 700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
|---|
| 9 (RLIN) |
14234 |
| Nombre de persona |
Rémy, Jean-Luc, |
| 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 |
AB |
| 945 ## - PROCESAMIENTO DE INFORMACIÓN LOCAL (OCLC) |
|---|
| Codigo del Catalogador |
MCR |
| Fecha |
2012-02-29 |