Principles of Automated Therem Proving / David A. Duffy (Registro nro. 21210)
[ vista simple ]
| 000 -LÍDER | |
|---|---|
| fixed length control field | 00387nam a2200133 4500 |
| 008 - ELEMENTOS DE LONGITUD FIJA -- INFORMACIÓN GENERAL | |
| fixed length control field | 0 1991 0x 000 0CAN |
| 020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS | |
| ISBN | 0 471 92784 8 |
| 050 ## - SIGNATURA TOPOGRAFICA DE LA BIBLIOTECA DEL CONGRESO (LC) | |
| Número de Clasificación | QA76.9 A96 D858 |
| 082 ## - NUMERO DE CLASIFICACION DECIMAL DEWEY | |
| Número de Clasificación | 511.3 D472p |
| 100 ## - ASIENTO PRINCIPAL--NOMBRE PERSONAL | |
| Nombre personal | Duffy David A. |
| 245 ## - TÍTULO | |
| Título | Principles of Automated Therem Proving / David A. Duffy |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. (PIE DE IMPRENTA) | |
| Lugar de publicación, distribución, etc. | Canada : John Willey & sons |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | xi, 243p. / 23.5 cm |
| No. biblioteca | No. biblioteca | Número de clasificación | Código de barras/Número de adquisición | Número de copia | Tipo de material |
|---|---|---|---|---|---|
| LUIS G. INCLAN | LUIS G. INCLAN | 511.3 D472p | 24292 | 1 | Libros |
| LUIS G. INCLAN | LUIS G. INCLAN | 511.3 D472p | 24293 | 2 | Libros |