Automated reasoning : (Registro nro. 6319)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 00845nam a2200241zi 4500 |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20220221131301.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 970106s1988 enk 000 0 eng |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| Número Internacional Estándar del Libro | 013054552x |
| 035 ## - NÚMERO DE CONTROL DEL SISTEMA | |
| Número de control de sistema | MX001000459944 |
| 050 ## - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO | |
| Número de clasificación | QA76.9A96 |
| Número de documento/Ítem | W67 |
| 100 #0 - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Wos, Larry, |
| Término indicativo de función/relación | autor |
| 245 10 - MENCIÓN DE TÍTULO | |
| Título | Automated reasoning : |
| Resto del título | 33 basic research problems / |
| Mención de responsabilidad, etc. | Larry wos |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT | |
| Producción, publicación, distribución, fabricación y copyright | Englewood cliffs, new jersey : |
| Nombre del de productor, editor, distribuidor, fabricante | Prentice Hall, |
| Fecha de producción, publicación, distribución, fabricación o copyright | c1988 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | 319 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 | Volumen companero de: automated reasoning : introduction and applications / larry wos [y otros], c1984 |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Inteligencia artificial |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Demostración automática de teoremas |
| 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 |
| Estado de retiro | Estado de pérdida | Fuente del sistema de clasificación o colocación | Estado dañado | No para préstamo | Código de colección | Localización permanente | Ubicación/localización actual | Ubicación en estantería | Total de préstamos | Clasificación completa | Código de barras | Fecha visto por última vez | Número de copia | Tipo de ítem Koha |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Clasificación de la Biblioteca del Congreso | General | Libros | Libros | Libros | QA76.9A96 W67 | 93967 | 14/03/2018 | 1 | Libros |