Detalles MARC
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
00988nam a2200313zi 4500 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| campo de control |
$$aDLC |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20210817122608.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
970811s1996 nyu b 001 0 eng |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
0444816445 |
| 035 ## - NÚMERO DE CONTROL DEL SISTEMA |
|---|
| Número de control de sistema |
MX001000738290 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
DLC |
| Centro/agencia transcriptor |
DLC |
| 041 ## - CÓDIGO DE LENGUA |
|---|
| Código de lengua del texto/banda sonora o título independiente |
ENG |
| 050 00 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
|---|
| Número de clasificación |
QA76.63 |
| Número de documento/Ítem |
M473 1996 |
| 082 00 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
005.13/1 |
| Número de edición |
20 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Metakides, George, |
| Fechas asociadas al nombre |
1945-, |
| Término indicativo de función/relación |
autor |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Principles of logic and logic programming / |
| Mención de responsabilidad, etc. |
G. Metakides, A. Nerode |
| 263 ## - FECHA PROYECTADA DE PUBLICACIÓN |
|---|
| Fecha proyectada de publicación |
9604 |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
|---|
| Producción, publicación, distribución, fabricación y copyright |
Amsterdam ; |
| -- |
New York : |
| Nombre del de productor, editor, distribuidor, fabricante |
Elsevier, |
| Fecha de producción, publicación, distribución, fabricación o copyright |
1996. |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
329 páginas |
| 336 ## - TIPO DE CONTENIDO |
|---|
| Término de tipo de contenido |
texto |
| Fuente |
rdacontent |
| 337 ## - TIPO DE MEDIO |
|---|
| Nombre/término del tipo de medio |
sin medio |
| Fuente |
rdamedia |
| 338 ## - TIPO DE SOPORTE |
|---|
| Nombre/término del tipo de soporte |
volumen |
| Fuente |
rdacarrier |
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
Studies in computer science and artificial intelligence ; |
| Designación de volumen o secuencia |
13 |
| 504 ## - NOTA DE BIBLIOGRAFÍA, ETC. |
|---|
| Nota de bibliografía, etc. |
Incluye referencias bibliograficas e indices. |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Programación lógica |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Lógica simbólica y matemática |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Nerode, Anil, |
| Fechas asociadas al nombre |
1932- |
| Término indicativo de función/relación |
autor |
