Towards Mechanized Mathematical Assistants (Record no. 838479)
[ view plain ]
| 000 -CABECERA | |
|---|---|
| Longitud fija campo de control | 01725nmm a22004575u 4500 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
| Identificador del nú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 | 070814s2007 xx s j eng d |
| 020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS | |
| Número Internacional Normalizado para Libros (ISBN) | 9783540730866 |
| 040 ## - FUENTE DE LA CATALOGACIÓN | |
| Centro catalogador | UCA |
| Centro transcriptor | UCA |
| 100 1# - PUNTO DE ACCESO PRINCIPAL-NOMBRE DE PERSONA | |
| Nombre de persona | Kauers, Manuel. |
| 245 10 - MENCIÓN DE TÍTULO | |
| Título | Towards Mechanized Mathematical Assistants |
| Medio | [Recurso electrónico] : |
| Resto del título | 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Manuel Kauers, Manfred Kerber, Robert Miner, W |
| 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 Berlin Heidelberg, |
| 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 | 4573 |
| 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 Communication Networks |
| 650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento inicial | Data mining |
| 650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento inicial | Database management |
| 650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento inicial | Information systems |
| 650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento inicial | Mathematics |
| 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 | 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 | Computer Communication Networks |
| 650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento inicial | Data Mining and Knowledge Discovery |
| 650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento inicial | Database Management |
| 650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento inicial | Information Systems Applications (incl.Internet) |
| 650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento inicial | Mathematics, general |
| 700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA | |
| Nombre de persona | Kerber, Manfred. |
| 700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA | |
| Nombre de persona | Miner, Robert. |
| 700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA | |
| Nombre de persona | Windsteiger, Wolfgang. |
| 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 | |
| Parte(s) relacionada(s) | Springer e-books |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICO | |
| Identificador Uniforme del Recurso (URI) | <a href="http://dx.doi.org/10.1007/978-3-540-73086-6">http://dx.doi.org/10.1007/978-3-540-73086-6</a> |
| Nota pública | Texto completo |
| 909 ## - No. registro Millennium | |
| -- | inter |
| -- | - |
| 942 ## - ENTRADA DE ELEMENTOS AGREGADOS (KOHA) | |
| Suprimir del OPAC | |
| 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 |
| -- | - |
| -- | 0 |
No items available.