Theory and Applications of Satisfiability Testing - SAT 2007 (Record no. 838457)

000 -CABECERA
Longitud fija campo de control 01657nmm a22004335u 4500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
Identificador del nnúmero de control OSt
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA
Campo fijo de descripción f&íacute;sica cr nn 008mamaa
008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA
Códigos de información de longitud fija 070919s2007 xx s j eng d
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS
Número Internacional Normalizado para Libros (ISBN) 9783540727880
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador UCA
Centro transcriptor UCA
100 1# - PUNTO DE ACCESO PRINCIPAL-NOMBRE DE PERSONA
Nombre de persona Marques-Silva, Joao.
245 14 - MENCIÓN DE TÍTULO
Título Theory and Applications of Satisfiability Testing - SAT 2007
Medio [Recurso electrónico] /
Resto del título 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
Mención de responsabilidad, etc. edited by Joao Marques-Silva, Karem A. Sakallah.
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. (PIE DE IMPRENTA)
Lugar de publicación, distribución, etc. Berlin Heidelberg :
Nombre del editor, distribuidor, etc. Springer-Verlag GmbH.,
Fecha de publicación, distribución, etc. 2007
300 ## - DESCRIPCIÓN FÍSICA
Otras características físicas v.: digital
490 00 - MENCIÓN DE SERIE
Mención de serie Lecture Notes in Computer Science,
Número Internacional Normalizado para Publicaciones Seriadas (ISSN) 0302-9743 ;
Designación de volumen o secuencia 4501
506 ## - NOTA DE RESTRICCIONES AL ACCESO
Limitaciones de acceso Restringido a usuarios de la UCA
538 ## - NOTA DE DETALLES DEL SISTEMA
Nota de detalles del sistema Modo de acceso: World Wide Web
650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Artificial intelligence
650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Computer science
650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Computer software
650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Electronic data processing
650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Logic, Symbolic and mathematical
650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Operating systems (Computers)
650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Computer Science
650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Algorithm Analysis and Problem Complexity
650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Artificial Intelligence (incl. Robotics)
650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Mathematical Logic and Formal Languages
650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Mathematical Logic and Foundations
650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Numeric Computing
650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Operating Systems
700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA
Nombre de persona Sakallah, Karem A.
710 2# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE ENTIDAD
Nombre de entidad o nombre de jurisdicción como elemento inicial SpringerLink (Online service)
740 0# - PUNTO DE ACCESO ADICIONAL - TÍTULO RELACIONADO O ANALÍTICO NO CONTROLADO
Título relacionado o analítico no controlado SpringerLink e-books (Servicio en línea)
773 0# - ENLACE AL DOCUMENTO FUENTE
Título Springer e-books
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICO
Identificador Uniforme del Recurso (URI) http://dx.doi.org/10.1007/978-3-540-72788-0
Nota pública Texto completo
909 ## - No. registro Millennium
-- inter
-- -
942 ## - ENTRADA DE ELEMENTOS AGREGADOS (KOHA)
Suprimir del OPAC No
998 ## - CONTROL LOCAL DE INFORMACIÓN (RLIN)
Iniciales de operador, IOP (RLIN) 0
Iniciales de catalogador, INC (RLIN) 080424
Primera fecha, PF (RLIN) e
-- y
-- -
-- 4

No items available.

Powered by Koha