|
|
|
|
| LEADER |
01503nam a22003377c 4500 |
| 001 |
178596 |
| 003 |
arresunl |
| 005 |
20250522110822.0 |
| 008 |
200108e1986 sp a gr 001 0 spa d |
| 999 |
|
|
|c 178596
|d 178596
|
| 020 |
|
|
|a 8486251435
|
| 035 |
|
|
|a (arresunl)178596
|
| 040 |
|
|
|9 GM
|a arresunl
|b spa
|c arresunl
|e rda
|g GABRIEL MIRANDA
|
| 041 |
|
|
|a spa
|
| 044 |
|
|
|a ag
|
| 082 |
0 |
4 |
|2 22
|a 006.3
|b K 79
|
| 100 |
1 |
|
|9 45548
|a Kowalski, Robert
|
| 245 |
1 |
0 |
|a Lógica, programación e inteligencia artificial
|c Robert Kowalski
|
| 246 |
1 |
3 |
|a Logic for problem solving
|
| 250 |
|
|
|a Primera edición
|
| 264 |
3 |
1 |
|a Madrid
|b Ediciones Díaz de Santos
|c 1986
|
| 300 |
|
|
|a 412 páginas
|c 22 cm.
|
| 336 |
|
|
|2 rdacontent
|a texto
|b txt
|
| 337 |
|
|
|2 rdamedia
|a sin mediación
|b n
|
| 338 |
|
|
|2 rdacarrier
|a volumen
|b nc
|
| 500 |
|
|
|a Glosario español-inglés e inglés-español
|
| 505 |
|
|
|a Representación en forma clausal -- Procedimientos de prueba analíticos y sintéticos para cláusulas Horn -- La interpretación procesal de cláusulas Horn -- Formación de planes y el problema de la armadura – Resolución -- El procedimiento de prueba del grafo de conexión -- Estrategias globales para la resolución de problemas -- Si-y-solamente-si – Formalización de la demostrabilidad – Lógica, cambio y contradicción
|
| 650 |
1 |
0 |
|a Inteligencia artificial
|9 41413
|
| 650 |
1 |
7 |
|2 TESAMAT
|9 44574
|a Lógica simbólica y matemática
|
| 650 |
1 |
7 |
|2 unescot
|9 39569
|a Programación informática
|
| 942 |
|
|
|2 ddc
|c 00001
|