Detalles MARC
| 000 -LEADER |
|---|
| fixed length control field |
01127nam a2200277 a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
MX-TeUDD |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240622102227.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
050914s2001 nyua b 001 0 eng c |
| 020 ## - Número Internacional Normalizado para Libros (ISBN) |
|---|
| Número Internacional Normalizado para Libros (ISBN) |
0387951970 (alk. paper) |
| 040 ## - Agencia de catalogación original |
|---|
| Agencia que catalogó originalmente la obra |
MX-TeUDD |
| Idioma en que se cataloga |
spa |
| Agencia que transcribió la catalogación |
MX-TeUDD |
| 050 04 - Clasificación de la Biblioteca del Congreso |
|---|
| Número de Clasificación |
QA248 |
| Número Cutter (y año) |
.C3 2001 |
| 100 1# - Autor Personal - Asiento Principal |
|---|
| Nombre personal |
Cantone, Domenico. |
| 245 10 - Mención de título |
|---|
| Título |
Set theory for computing : |
| Resto del título |
from decision procedures to declarative programming with sets / |
| Mención de responsabilidad, etc. |
Domenico Cantone, Eugenio Omodeo, Alberto Policriti. |
| 246 2# - Variante de título |
|---|
| Título propiamente dicho/Título corto |
From decision procedures to declarative programming with sets. |
| 260 ## - Pie de imprenta |
|---|
| Lugar de publicación o distribución, etc. |
New York : |
| Nombre de la editorial, distribuidor, etc. |
Springer, |
| Fecha de publicación, distribución, etc. |
c2001. |
| 300 ## - Descripción física |
|---|
| Extensión de la obra (paginación, volúmenes o tomos) |
xviii, 409 p. : |
| Otros detalles físicos (ilustraciones , tablas, etc.) |
il. ; |
| Dimensiones (en centímetros) |
24 cm. |
| 490 0# - Mención de serie |
|---|
| Mención de serie |
Monographs in computer science |
| 504 ## - Nota de bibliografía, etc. |
|---|
| Nota de Bibliografía, etc. |
Bibliografía: p. [374]-39 |
| 505 8# - Nota de contenido con formato |
|---|
| Nota de contenido formateada |
Capítulo 1. Introduction.-- Capítulo 2. Basicts for set-theoretic reasoning.-- Capítulo 3. Decisión methods.-- Capítulo 4. Sete-specific inference engines.-- |
| 650 #4 - Asiento secundario de materia - Término de materia |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Teoría de conjuntos |
| 700 1# - Entrada Secundaria - Nombre Personal |
|---|
| Nombre Personal |
Policriti, Alberto. |
| 700 1# - Entrada Secundaria - Nombre Personal |
|---|
| Nombre Personal |
Omodeo, Eugenio. |
| 905 ## - LOCAL DATA (905) |
|---|
| Código de material |
Acervo |
| 906 ## - LOCAL DATA (906) |
|---|
| Catalogador |
Paty |
| Fecha |
20050914 |
| 942 ## - Elementos de entrada secundarios (KOHA) |
|---|
| Tipo de Item de Koha |
01-Préstamo Interno (Libros) |
| Source of classification or shelving scheme |
Library of Congress Classification |
| 100 1# - Autor Personal - Asiento Principal |
|---|
| -- |
195364 |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) |
|---|
| c (Borrowernumber del catalogador que hizo la última modificación) |
2 |
| d (Nombre del catalogador que hizo la última modificación) |
Ulises Castrejon |
| 650 #4 - Asiento secundario de materia - Término de materia |
|---|
| -- |
23601 |
| 700 1# - Entrada Secundaria - Nombre Personal |
|---|
| -- |
195365 |
| 700 1# - Entrada Secundaria - Nombre Personal |
|---|
| -- |
195366 |