Detalles MARC
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
01504cam a2200301 a 4500 |
| 001 - NÚMERO DE CONTROL |
|---|
| campo de control |
u22605 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| campo de control |
USM |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20230314105207.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
980105s1996 us a r 00010 eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
0135012066 |
| 035 ## - NÚMERO DE CONTROL DEL SISTEMA |
|---|
| Número de control de sistema |
(Sirsi) 30520 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
UTFSM |
| 082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
004.0151 |
| Número de documento/Ítem |
G769 |
| 100 10 - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Grassmann, Winfried K. |
| 9 (RLIN) |
43543 |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Logic and discrete mathematics : |
| Resto del título |
a computer science perspective |
| Mención de responsabilidad, etc. |
Winfried Karl Grassmann, Jean-Paul Tremblay |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
|---|
| Producción, publicación, distribución, fabricación y copyright |
Upper Saddle River, N.J. : |
| Nombre del de productor, editor, distribuidor, fabricante |
Prentice-Hall, |
| Fecha de producción, publicación, distribución, fabricación o copyright |
1996. |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
xviii, 750 p. : |
| Otras características físicas |
il. |
| 336 ## - TIPO DE CONTENIDO |
|---|
| Fuente |
rdacontent |
| Término de tipo de contenido |
text |
| Código de tipo de contenido |
txt |
| 337 ## - TIPO DE MEDIO |
|---|
| Fuente |
rdamedia |
| Nombre/término del tipo de medio |
unmediated |
| Código del tipo de medio |
n |
| 338 ## - TIPO DE SOPORTE |
|---|
| Fuente |
rdacarrier |
| Nombre/término del tipo de soporte |
volume |
| Código del tipo de soporte |
nc |
| 504 ## - NOTA DE BIBLIOGRAFÍA, ETC. |
|---|
| Bibliografía, etc. |
p. 641-643 |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
Cap. 1 : Propositional calculus - Cap. 2 : Predicate calculus - Cap. 3 : Induction and recursion - Cap. 4 : Prolog - Cap. 5 : Sets and relations - Cap. 6 : Functions - Cap. 7 : Graphs and trees - Cap. 8 : Formal requirement specification in Z - Cap. 9 : Program correctness proofs - Cap. 10 : Grammars, languages, and parsing - Cap. 11 : Derivations - Cap. 12 : An overview of relational database systems |
| 521 ## - NOTA DE PÚBLICO DESTINATARIO |
|---|
| Nota de público destinatario |
COBERTURA BIBLIOGRÁFICA:<br/>ILI-153 (Ingeniería Civil Informática, Ingeniería Ejecución Informática), ILI-152 (Ingeniería Civil Informática, Ingeniería Ejecución Informática)<br/><br/>ASIGNATURAS: |
| 650 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento inicial |
CIENCIA DE LA COMPUTACION |
| Subdivisión general |
MATEMATICAS |
| 700 10 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Tremblay, Jean-Paul |
| 9 (RLIN) |
95481 |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Fuente del sistema de clasificación o colocación |
|
| Tipo de ítem Koha |
Bibliografía General Básica |
| 948 ## - PROCESAMIENTO DE INFORMACIÓN LOCAL (OCLC); DESIGNADOR DE PARTE DE LA SERIE (RLIN) |
|---|
| Designador de la parte de la serie, SPT (RLIN) |
05/01/1998 |
| b (OCLC) |
03/08/2011 |
| z (OCLC) |
USM |
