000			01642nam a22003137a 4500
001			BGEN1849
005			20260710081145.0
006			a||||gr|||| 00| 0
007			ta
008			161204t ec ||||gr|||| 00| 0 spa d
020			_a9788483223680
040			_aUEB _bspa _cUEB
041	0		_aspa
082	0	4	_a005.42 _bJ945p
100	1		_aJulián Iranzo, Pascual _944573
245	1	0	_aProgramación lógica : _b teoría y práctica / _cPascual Julián Iranzo, María Alpuente Frasnedo
260			_aMadrid, España : _bPearson Prentice Hall, _c2007
300			_axxvi, 470 páginas ; _bilustraciones ; _c25 cm.
336			_atexto
337			_asin mediación
338			_avolumen
500			_aIncluye índice.
504			_aIncluye bibliografía.
505	0		_aUna panorámica de la programación declaratoria -- Fundamentos -- Sistemas formales, lógica y lenguajes de programación -- De la demostración automática a la programación lógica (I): introducción y métodos semánticos -- De la demostración automática a la programación lógica (II): -- el principio de resolución de Robinson -- Programación lógica -- El lenguaje prolog: introducción -- El lenguaje prolog: aspectos avanzados -- Aplicaciones de la programación lógica -- Resolución de problemas -- Programación lógica y tecnología software rigurosa -- Fundamentos y notaciones matemáticas -- Índice de figuras -- Índice de tablas -- Prólogo...
650	1	4	_aProgramación lógica. _92956
650	2	4	_aProgramación lógica (Computadores electrónicos). _944574
700			_aAlpuente Frasnedo, María, autora. _944575
942			_cBK _2ddc
999			_c2827 _d2827