Principles of automated theorem proving (Registro nro. 103346)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 00853nam a2200277Ia 4500 |
| 001 - NÚMERO DE CONTROL | |
| campo de control | 123132 |
| 003 - NÚMERO DE CONTROL | |
| campo de control | BIBL |
| 005 - FECHA Y HORA DE ACTUALIZACIÓN | |
| 005 | 20160527185822.0 |
| 008 - LONGITUD FIJA | |
| campo de control de longitud fija | 910208s1991 enk b 001 0 eng |
| 010 ## - NÚMERO DE CONTROL DE LA BIBLIOTECA DEL CONGRESO | |
| Número de control de LC | 91009103 |
| 015 ## - NÚMERO DE BIBLIOGRAFÍA NACIONAL | |
| Número de bibliografía nacional | GB91-33735 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 0471927848 |
| Condiciones de disponibilidad | 40.25 (U.S.) |
| 035 ## - NÚMERO DE CONTROL DEL SISTEMA | |
| Número de control de sistema | (OCoLC)23178272 |
| 040 ## - FUENTE DE CATALOGACIÓN | |
| Centro catalogador/agencia de origen | DLC |
| Centro/agencia transcriptor | DLC |
| Centro modificador | UKM |
| 049 ## - FONDOS LOCALES (OCLC) | |
| Fondos de biblioteca | PUXA |
| 100 1# - AUTOR PERSONAL | |
| nombre | Duffy, David A. |
| 9 (RLIN) | 89025 |
| 245 10 - TÍTULO PROPIAMENTE DICHO | |
| título | Principles of automated theorem proving |
| Mención de responsabilidad, etc. | David A. Duffy. |
| 260 ## - PIE DE IMPRENTA | |
| Ciudad de publicación | Chichester |
| -- | New York |
| Editor, distribuidor | Wiley |
| Fecha de publicación | c1991. |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | xviii, 243 p. |
| Dimensiones | 25 cm. |
| 490 #0 - SERIE | |
| Serie | Wiley professional computing |
| 9 (RLIN) | 189091 |
| 504 ## - NOTA DE BIBLIOGRAFÍA | |
| Bibliografía, etc. | Includes bibliographical references (p. 225-232) and index. |
| 050 00 - CLASIFICACIÓN LIBRARY OF CONGRESS | |
| clasificación | QA76.9.A96 |
| Clave de autor | D84 1991 |
| 082 00 - CLASIFICACIÓN DECIMAL DEWEY | |
| Clasificación | 511.3 |
| edición | 20 |
| 100 1# - AUTOR PERSONAL | |
| -- | Local |
| 650 #0 - MATERIA GENERAL | |
| Término de materia o nombre geográfico como elemento inicial | Automatic theorem proving. |
| Fuente del encabezamiento o término | Local |
| 9 (RLIN) | 56210 |
| 653 ## - MATERIA NO CONTROLADA | |
| Término no controlado | Mathematical logic |
| 490 #0 - SERIE | |
| -- | Local |
| Withdrawn status | Lost status | Damaged status | Koha normalized classification for sorting | Not for loan | Collection code | Koha itemnumber | Home library | Current library | Shelving location | Date acquired | Inventory number | Total Checkouts | Full call number | Barcode | Date last seen | Non-public note | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| No | 511_300000000000000_D858P | 96601 | Biblioteca Encarnación Valdés | Biblioteca Encarnación Valdés | Colección General bev | 27/05/2016 | 186120 | 511.3 D858p | 80000001332405 | 27/05/2016 | r:123132 | z:NCC:D | Libro |