Detalles MARC
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
01407nam a22003134a 4500 |
| 001 - NÚMERO DE CONTROL |
|---|
| campo de control |
0000035898 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| campo de control |
OSt |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20191031182526.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
010326s2003 sp a fr 001 0 spa d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
8497321820 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
CO-ViCUM |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor |
Unimeta |
| 041 ## - CÓDIGO DE LENGUA |
|---|
| Código de lengua del texto/banda sonora o título independiente |
spa |
| 043 ## - CÓDIGO DE ÁREA GEOGRÁFICA |
|---|
| Código de área geográfica |
sp |
| 082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
005.131 P19l |
| Número de edición |
2003 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Paniagua Arís, Enrique./ Juan Luis Sanchez Gonzales/ Fernando Martin Rubio |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Lógica computacional / |
| Mención de responsabilidad, etc. |
Enrique Paniagua Arís; Juan Luis Sánchez González; Fernando Martín Rubio. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
Madrid : |
| Nombre del editor, distribuidor, etc. |
Thomson, |
| Fecha de publicación, distribución, etc. |
2003. |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
205 p |
| Dimensiones |
24 cm. |
| 440 ## - MENCIÓN DE SERIE/PUNTO DE ACCESO ADICIONAL--TÍTULO |
|---|
| Título |
lógica computacional |
| 504 ## - NOTA DE BIBLIOGRAFÍA, ETC. |
|---|
| Nota de bibliografía, etc. |
Incluye bibliografía, glosario e índice analítico. |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
La sintaxis de la lógica.-- La semántica de la lógica.-- Método axiomático.-- Método interpretativo.-- La demostración automática de teoremas.-- Los agentes |
| 520 ## - SUMARIO, ETC. |
|---|
| Sumario, etc. |
El primer paso hacia la inteligencia artificial,desde el desarrollo de la lógica fue dado por aristoteles(384-322a.C) cuando comenzó a explicar y a codificar ciertos estilos de razonamiento deductivo que él llamo silogismos. |
| 650 04 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
C++ (Lenguaje de programación para computadores) |
| 650 04 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Programación orientada a objetos (Computación) |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Martín Rubio, Fernando, |
| Término indicativo de función/relación |
ed. |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Sánchez González, Juan Luis, |
| Término indicativo de función/relación |
ed. |
| 908 ## - COLOCAR PARÁMETRO DE COMANDO (RLIN) |
|---|
| Colocar parámetro de comando |
160309 |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Fuente del sistema de clasificación o colocación |
Dewey Decimal Classification |
| Tipo de ítem Koha |
Libro - Material General |
