MARC details
| 000 -LEADER |
|---|
| campo de control de longitud fija |
01541nam0a22002890i04500 |
| 001 - NÚMERO DE CONTROL |
|---|
| campo de control |
UTC-76490 |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20240326112701.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
240325s2003####sp#####gr#####00####spa#d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
84-9732-182-0 |
| 082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
511.3 P192lo |
| 100 ## - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Paniagua Arís, Enrique |
| 245 ## - MENCIÓN DEL TÍTULO |
|---|
| Título |
Lógica computacional |
| Mención de responsabilidad, etc. |
Enrique Paniagua Arís , Juan Luis Sánchez González y Fernando Martín Rubio |
| 250 ## - MENCION DE EDICION |
|---|
| Mención de edición |
1 |
| 264 ## - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
|---|
| Producción, publicación, distribución, fabricación y copyright |
España : |
| Nombre del de productor, editor, distribuidor, fabricante |
Thomson |
| Fecha de producción, publicación, distribución, fabricación o copyright |
2003 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
205 páginas ; |
| Dimensiones |
24 cm. |
| Otras características físicas |
il. ; |
| 336 ## - TIPO DE CONTENIDO |
|---|
| Término de tipo de contenido |
texto |
| Código de tipo de contenido |
txt |
| Fuente |
rdacontent |
| 337 ## - TIPO DE MEDIO |
|---|
| Nombre/término del tipo de medio |
no mediado |
| Código del tipo de medio |
n |
| Fuente |
damedia |
| 338 ## - TIPO DE SOPORTE |
|---|
| Nombre/término del tipo de soporte |
volumen |
| Código del tipo de soporte |
nc |
| Fuente |
rdacarrier |
| 505 ## - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
1. La sintaxis de la lógica. 2. La semántica de la lógica. 3. El método axiomático. 4. El método interpretativo. 5. La demostración automática de teoremas. 6. Los agentes inteligentes y la lógica. |
| 520 ## - RESUMEN, ETC. |
|---|
| Sumario, etc. |
El presente texto pretende servir de elemento base para la adquisición de los fundamentos, conceptos, componentes y enfoques del componente lógico de dichos sistemas. Es a causa de esta relación entre la lógica y el desarrollo de los sistemas inteligentes por la que es necesario la utilización de mecanismos de razonamiento automático. |
| 526 ## - NOTA DE INFORMACIÓN SOBRE EL PROGRAMA DE ESTUDIO |
|---|
| Nombre del programa |
VA/Ingeniería en Sistemas de la Información |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
COMPUTADORAS LÓGICAS |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
LÓGICA SIMBÓLICA Y MATEMÁTICA |
| 700 ## - ENTRADA AGREGADA--NOMBRE PERSONAL |
|---|
| Nombre de persona |
Sánchez González, Juan Luis Rubio, Fernando Martín |
| 856 ## - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Identificador Uniforme de Recurso |
<a href="https://images-na.ssl-images-amazon.com/images/I/51OTojIPLKL._SX354_BO1,204,203,200_.jpg">https://images-na.ssl-images-amazon.com/images/I/51OTojIPLKL._SX354_BO1,204,203,200_.jpg</a> |
| Texto de enlace |
Portada |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) |
|---|
| Fuente del sistema de clasificación o colocación |
Clasificación Decimal Dewey |
| Tipo de ítem Koha |
Libros |
| Suprimir en OPAC |
No |
