000			01475nam a2200241 a 4500
003			AR-LpUFIB
005			20250311170144.0
008			230201s1986 sp r 000 0 spa d
020			_a8486251435
024	8		_aDIF-M564 _b567 _zDIF000566
040			_aAR-LpUFIB _bspa _cAR-LpUFIB
100	1		_aKowalski, Robert
245	1	0	_aLógica, programación e inteligencia artificial
250			_a1a ed.
260			_aMadrid : _b Díaz de Santos, _c1986
300			_a[8], 412 p. ; _c22 cm.
500			_aVersión castellana de Logic for problem solving, Elsevier Science Pub., c1979.
505	0		_a Prólogo -- 1. Introducción -- 2. Representación en forma clausal -- 3. Procedimientos de prueba analíticos y sintéticos para cláusulas Horn -- 4. Resolución de problemas con cláusulas Horn -- 5. La interpretación procesal de cláusulas Horn -- 6. Formación de planes y el problema de la armadura -- 7. Resolución -- 8. El procedimiento de prueba del grafo de conexión -- 9. Estrategias globales para la resolución de problemas -- 10. Comparación de la forma clausal con la forma estándar -- 11. Si-y-solamente-si -- 12. Formalización de la demostrabilidad -- 13. Lógica, cambio y contradicción -- Referencias (edición original) -- Referencias (suplemento a la edición española) -- Glosario español-inglés -- Glosario inglés-español
650		4	_aLÓGICA MATEMÁTICA
650		4	_aPROGRAMACIÓN
650		4	_aRESOLUCIÓN DE PROBLEMAS
942			_cBK
999			_c50545 _d50545