Detalles MARC
000 -CABECERA |
campo de control de longitud fija |
01280nam a2200337zi 4500 |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
campo de control |
20220224111559.0 |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
campo de control de longitud fija |
070323s2006 gw a 100 0 eng d |
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
Número Internacional Estándar del Libro |
3540372067 |
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
Número Internacional Estándar del Libro |
9783540372066 |
035 ## - NÚMERO DE CONTROL DEL SISTEMA |
Número de control de sistema |
MX001001096371 |
040 ## - FUENTE DE LA CATALOGACIÓN |
Centro catalogador/agencia de origen |
YUS |
Lengua de catalogación |
spa |
Centro/agencia transcriptor |
YUS |
Centro/agencia modificador |
CUS |
-- |
UKM |
-- |
BAKER |
-- |
YDXCP |
-- |
OCLCQ |
-- |
C$Q |
-- |
IXA |
-- |
UNAMX |
050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
Número de clasificación |
QA9.3 |
Número de documento/Ítem |
S35 2006 |
082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
Número de clasificación |
511.3 |
Número de edición |
22 |
111 2# - ENTRADA PRINCIPAL--NOMBRE DE CONGRESO/REUNIÓN |
Nombre de congreso/reunión o jurisdicción como elemento de entrada |
SAT 2006 |
Fecha del congreso/reunión |
(2006 : |
Sede del congreso/Lugar de la reunión |
Seattle, Washington) |
245 10 - MENCIÓN DE TÍTULO |
Título |
Theory and applications of satisfiability testing -- SAT 2006 : |
Resto del título |
9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings / |
Mención de responsabilidad, etc. |
Armin Biere, Carla P. Gomes, eds. |
246 30 - FORMA VARIANTE DE TÍTULO |
Título propio/Titulo breve |
SAT 2006 |
264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
Producción, publicación, distribución, fabricación y copyright |
Berlin : |
Nombre del de productor, editor, distribuidor, fabricante |
Springer Verlag, |
Fecha de producción, publicación, distribución, fabricación o copyright |
c2006 |
300 ## - DESCRIPCIÓN FÍSICA |
Extensión |
xii, 438 páginas : |
Otras características físicas |
ilustraciones |
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 |
Lecture notes in computer science, |
Designación de volumen o secuencia |
4121 |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Cálculo proposicional |
Subdivisión de forma |
Congresos |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Toma de decisiones |
Subdivisión de forma |
Congresos |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Algoritmos computacionales |
Subdivisión de forma |
Congresos |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Álgebra booleana |
Subdivisión de forma |
Congresos |
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
Nombre de persona |
Biere, Armin, |
Término indicativo de función/relación |
editor |
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
Nombre de persona |
Gomes, Carla, |
Término indicativo de función/relación |
editor |
830 ## - PUNTO DE ACCESO ADICIONAL DE SERIE-TÍTULO UNIFORME |
Título uniforme |
Lecture notes in computer science |
Número Internacional Normalizado para Publicaciones Seriadas |
0302-9743 |