Detalles MARC
000 -CABECERA |
Longitud fija campo de control |
00950nam a22002657a 4500 |
003 - IDENTIFICADOR DELl NÚMERO DE CONTROL |
Identificador del número de control |
arcduce |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
Fecha y hora de la última transacción |
20231127224341.0 |
008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA |
Códigos de información de longitud fija |
150304s1977 nyu||||| |||| 00| 0 eng d |
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS |
Número Internacional Normalizado para Libros (ISBN) |
0444002243 |
040 ## - FUENTE DE LA CATALOGACIÓN |
Centro catalogador de origen |
arcduce |
Centro transcriptor |
arcduce |
082 0# - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
Número de edición |
21 |
Número de clasificación |
00.1642 |
100 1# - PUNTO DE ACCESO PRINCIPAL-NOMBRE DE PERSONA |
9 (RLIN) |
6093 |
Nombre de persona |
Manna, Zohar, |
Fechas asociadas al nombre |
1939- |
245 10 - MENCIÓN DE TÍTULO |
Título |
Studies in automatic programming logic / |
Mención de responsabilidad, etc. |
Zohar Manna, Richard Waldinger. |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. (PIE DE IMPRENTA) |
Lugar de publicación, distribución, etc. |
New York : |
Nombre del editor, distribuidor, etc. |
North-Holland, |
Fecha de publicación, distribución, etc. |
1977 |
300 ## - DESCRIPCIÓN FÍSICA |
Extensión |
viii, 192 p. |
490 0# - MENCIÓN DE SERIE |
Mención de serie |
The computer science library. |
Nombre de parte/sección |
Artificial intelligence series |
504 ## - NOTA DE BIBLIOGRAFÍA, ETC |
Nota de bibliografía, etc. |
Bibliografía: p. 181-185 |
505 0# - NOTA DE CONTENIDO CON FORMATO |
Nota de contenido con formato |
1. Reasoning about programs -- 2. Logical analysis of programs -- 3. Knowledge and reasoning in program synthesis. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento inicial |
PROGRAMAS DE COMPUTADORA |
9 (RLIN) |
76 |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento inicial |
ANALISIS DE SISTEMAS |
9 (RLIN) |
3696 |
653 #4 - TÉRMINO DE INDIZACIÓN - NO CONTROLADO |
Término no controlado |
DINAMICA DE SISTEMAS |
700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA |
9 (RLIN) |
6094 |
Nombre de persona |
Waldinger, Richard |
942 ## - ENTRADA DE ELEMENTOS AGREGADOS (KOHA) |
Fuente de clasificación o esquema |
Dewey Decimal Classification |
Koha [por defecto] tipo de item |
Libro |
Solicitar por |
001.642 M 31798 |
945 ## - TRATAMIENTO DE LA INFORMACIÓN LOCAL (OCLC) |
a |
José Luis Díaz |
c |
2015-03-04 |