Detalles MARC
| 000 -CABECERA |
|---|
| Campo de control de longitud fija |
02432nam a22005414a 4500 |
| 001 - NÚMERO DE CONTROL |
|---|
| Número de control |
CUUTN000001 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| Identificador del número de control |
AR-CuUTN |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| Fecha y hora de la última transacción |
20240701210047.0 |
| 007 - PHYSICAL CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL FIXED FIELD--GENERAL INFORMATION |
|---|
| Campo fijo de descripción física |
ta |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| Códigos de información de longitud fija |
191210s1986 sp ddddf 001 0 spa d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| ISBN |
8486251435 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador de origen |
AR-CuUTN |
| Lengua de catalogación |
spa |
| Centro transcriptor |
AR-CuUTN |
| Normas de descripción |
aacr2 |
| -- |
isbd |
| 041 1# - CÓDIGO DE LENGUA |
|---|
| Language code of original |
eng |
| Código de lengua del texto |
spa |
| 080 0# - NÚMERO DE LA CLASIFICACIÓN DECIMAL UNIVERSAL |
|---|
| Clasificación Decimal Universal |
510.5/.6 |
| Edición de la CDU |
2000 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre personal |
Kowalski, Robert A. |
| Fechas asociadas al nombre |
1941- |
| Término indicativo de función |
autor |
| 9 (RLIN) |
4679 |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Lógica, programación e inteligencia artificial / |
| Mención de responsabilidad |
Robert Kowalski. |
| 250 ## - MENCIÓN DE EDICIÓN |
|---|
| Mención de edición |
1a ed. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
Madrid : |
| Nombre del editor, distribuidor, etc. |
Díaz de Santos, |
| Fecha de publicación, distribución, etc. |
1986. |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
[418] p. : |
| Otras características físicas |
gráf. ; |
| Dimensiones |
22 cm |
| 336 ## - TIPO DE CONTENIDO |
|---|
| Fuente |
rdacontet |
| Término de tipo de contenido |
texto |
| Código de tipo de contenido |
txt |
| 337 ## - TIPO DE MEDIO |
|---|
| Fuente |
rdamedia |
| Nombre del tipo de medio |
sin mediación |
| Código del tipo de medio |
n |
| 338 ## - TIPO DE SOPORTE |
|---|
| Fuente |
rdacarrier |
| Nombre del tipo de soporte |
sin volumen |
| Código del tipo de soporte |
nc |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
Título original: Logic for problem solving. |
|
|---|
| Nota general |
Índice de contenidos: en primeras pág. |
|
|---|
| Nota general |
Glosario (español-inglés): p. 373 a 392. |
|
|---|
| Nota general |
Glosario (inglés-español): p. 393 a 412. |
| 504 ## - NOTA DE BIBLIOGRAFÍA, ETC. |
|---|
| Nota de bibliografía, etc. |
Referencias: p. 347 a 371. |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
1. Introducción. |
|
|---|
| Nota de contenido con formato |
2. Representación en forma clausal. |
|
|---|
| Nota de contenido con formato |
3. Procedimientos de prueba analíticos y sintéticos para cláusulas Horn. |
|
|---|
| Nota de contenido con formato |
5. La interpretación procesal de cláusulas Horn. |
|
|---|
| Nota de contenido con formato |
6. Formación de planes y el problema de la armadura. |
|
|---|
| Nota de contenido con formato |
7. Resolución. |
|
|---|
| Nota de contenido con formato |
8. El procedimiento de prueba del grafo de conexión. |
|
|---|
| Nota de contenido con formato |
9. Estrategias globales para la resolución de problemas. |
|
|---|
| Nota de contenido con formato |
10. Comparación de la forma clausal con la forma estándar. |
|
|---|
| Nota de contenido con formato |
11. Si-y-solamente-si. |
|
|---|
| Nota de contenido con formato |
12. Formalización de la demostrabilidad. |
|
|---|
| Nota de contenido con formato |
13. Lógica, cambio y contradicción. |
| 520 3# - SUMARIO, ETC. |
|---|
| Sumario, etc. |
El objeto de este libro es investigar la aplicación de la lógica a la resolución de problemas y a la programación de ordenadores. Para su estudio no se requiere un conocimiento previo de estos campo y, por consiguiente, representa una introducción muy adecuada a los temas de lógica, teoría de resolución de problemas y programación de ordenadores. |
| 521 ## - NOTA DE PÚBLICO DESTINATARIO |
|---|
| Nota de público destinatario |
Para profesional, investigador o estudiante de inteligencia artificial. También de utilidad para lógicos y matemáticos. |
| 653 1# - TÉRMINO DE INDIZACIÓN--NO CONTROLADO |
|---|
| Término no controlado |
Lógica matemática |
|
|---|
| Término no controlado |
Inteligencia artificial |
|
|---|
| Término no controlado |
Horn, cláusulas de |
|
|---|
| Término no controlado |
Programación |
|
|---|
| Término no controlado |
Demostrabilidad |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Tipo de ítem Koha |
Libros |
| Esquema de clasificación |
Clasificación Decimal Universal |
