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 |