000			01579nam a22002537a 4500
003			OSt
005			20160921084235.0
008			140213s2007 sp abd g||||| 001 0 spa d
020			_a9788483223680
041	0		_aspa.
082	0	4	_221 _a005.131 _bJ945 2007
100	1		_91277 _aJulián Iranzo, Pascual
245	1	0	_aProgramación lógica : _bTeoría y práctica / _cPascual Julián Iranzo, María Alpuente Frasnedo.
260			_aMadrid : _bPearson, _c2007.
300			_axxvi, 470 p. : _bil. diag. ; _c25 cm.
500			_aIncluye índice de tablas al icinio de la obra.
504			_aIncluye índice alfabético p. 464
504			_aIncluye referencias bibliográficas p. 453
505	0		_a1. Una panorámica de la programación declarativa -- Fundamentos I: 2. Sistemas formales, lógica y lenguajes de programación -- 3. De la demostración automática a la programación lógica (I): introducción y métodos semánticos -- 4. De la demostración automática a la programación lógica (II): el principio de resolución de Robinson -- Programación lógica II: 5. Programación lógica -- 6. El lenguaje prolog: Introducción -- 7. El lenguaje prolog: Aspectos avanzados -- Aplicaciones de la programación lógica: 8. Representación del conocimiento -- 9. Resolución de problemas -- 10. Programación lógica y tecnología software rigurosa.
650	1	7	_2LEMB _91285 _aLógica simbólica
650	1	7	_2LEMB _91286 _aLógica matemática
700	1		_91287 _aAlpuente Frasnedo, María
942			_2ddc _cBK _h005.131 _iJ945 2007 _01
999			_c262 _d262