Detalles MARC
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
01480nam a2200301 a 4500 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
970106s1986^^^^xxu^^^^^^^^^^^100^0^eng^^ |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
0-8186-0720-3 |
| Condiciones de disponibilidad |
(rustica |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
0-8186-8720-7 |
| Condiciones de disponibilidad |
(empastado) |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
0-8186-4720-5 |
| Condiciones de disponibilidad |
(microfichas) |
| 035 ## - NÚMERO DE CONTROL DEL SISTEMA |
|---|
| Número de control de sistema |
MX001000456504 |
| 050 ## - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
|---|
| Número de clasificación |
QA75.5 |
| Número de documento/Ítem |
S956 1986 |
| 111 #0 - ENTRADA PRINCIPAL--NOMBRE DE CONGRESO/REUNIÓN |
|---|
| Nombre de congreso/reunión o jurisdicción como elemento de entrada |
Symposium On Logic In Computer Science |
| Sede del congreso/Lugar de la reunión |
(1986 : Cambridge, Massachusetts) |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Proceedings / |
| Mención de responsabilidad, etc. |
Symposium on logic in computer science, cambridge massachusetts, June 16-18, 1986 ; sponsored by the ieee computer Society, technical committee on mathematical foundations of computing |
| 246 30 - FORMA VARIANTE DE TÍTULO |
|---|
| Título propio/Titulo breve |
Logic in computer science |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
|---|
| Producción, publicación, distribución, fabricación y copyright |
Washington, D.C. : |
| Nombre del de productor, editor, distribuidor, fabricante |
IEEE Computer Society, |
| Fecha de producción, publicación, distribución, fabricación o copyright |
c1986 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
383 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 |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
"in cooperation ith acm sigact, association for symbolic logic, european association for theoretical computer science" |
| 650 ## - 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 |
| Subdivisión de forma |
Congresos |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Procesamiento electrónico de datos |
| Subdivisión de forma |
Congresos |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Programación de computadoras |
| Subdivisión de forma |
Congresos |
| 710 2# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA |
|---|
| Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada |
Association for Symbolic Logic |
| 710 2# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA |
|---|
| Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada |
European Association for Theoretical Computer Science |
| 710 2# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA |
|---|
| Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada |
ACM Special Interest Group for Automata and Computability Theory |
| 710 2# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA |
|---|
| Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada |
IEEE Computer Society. |
| Unidad subordinada |
Technical Committee on Mathematical Foundations of Computing |
