000			01957nam a22002897a 4500
003			CO-NeUS
005			20180710062624.0
008			131105b ck ||||| |||| 00| 0 spa d
020			_a8486251435
040			_aCO-NeUS _bspa _cCO-NeUS
082	0	4	_a006.3 _219 _bK88l
082	0	4	_a519.7
100	1		_aKowalski, Robert _eautor / creador _952700
245	1	0	_aLógica, programación e inteligencia artificial _cRobert Kowalski : tr. A. Calle
250			_aQuinta edición
264			_aMadrid _bDíaz de Santos _c1986
300			_a412 páginas. _c22 cm
505	0	0	_aEl ejemplo de las relaciones de familia y la forma clausal -- Definición más precisa de forma clausal -- Presentación de definiciones analítica y sintética -- Semántica de la forma clausal -- Representación en forma clausal -- Variables y tipos de individualidades -- Existencia negación -- Procedimientos de prueba analíticos y sintéticos para cláusulas Horn -- Resolución de problemas con cláusulas de Horn -- La interpretación procesal de cláusulas Horn -- Formación de planes y el problema de la armadura -- Objetivos y asertos negativos -- Una solución sintética -- El procedimiento de prueba del grafo de conexión -- Estrategias globales para la resolución de problemas -- Comparación de la forma clausal con la forma estándar -- Si-y-solamente-si -- Formalización de la demostrabilidad -- Lógica, cambio y contradicción --
520			_aUna de las obras fundamentales que debe tener todo profesional, investigador o estudiante de Inteligencia Artificial, tanto por la información que proporciona como por el nivel académico que encierra.
534			_pTitulo original _tLogic for problem solving
650	1	4	_aInteligencia artificial _9113750
650	1	4	_aLógica simbólica y matemática _9115242
650	1	4	_aProgramación de computadoras _9128936
650	1	4	_aSolucion de problemas _9132324
700			_aCalle, A. _etraductor _933766
942			_cCG
999			_c105 _d105