000			01363nam a22002417a 4500
008			140202b ck ||||| |||| 00| 0 spa d
020			_a978-84-8322-368-0
082	0	4	_a005.115 / J94p
100	1		_aJulián Iranzo, Pascual _951919
245	1	0	_aProgramación lógica : teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo
264			_aMadrid : Pearson/Prentice Hall, 2007
300			_axxvi, 470 p. ; 25 cm.
505	0	0	_aUna panorámica de la programación declarativa -- Fundamentos -- Sistemas formales, Lógica y lenguaje de
505	0	0	_aprogramación -- De la demorstración automática a la programación lógica (I): introducción y métodos semánticos
505	0	0	_a-- De la demorstración automática a la programación lógica (II): el principio de resolución de Robinson --
505	0	0	_aProgramación Lógica -- El lenguaje Prolog: introducción -- El lenguaje Prolog: aspectos avanzados --
505	0	0	_aAplicaciones de la programación Lógica -- Representación del conocimiento -- Resolución de problemas --
505	0	0	_aProgramación Lógica y Tecnología Software rigurosa -- Fundamentos y notaciones matemáticas
650	1	4	_aProgramación lógica _9128952
650	1	4	_aProgramacion declarativa _9128941
650	1	4	_aProlog (lenguaje de programacion) _9129012
700	1		_aAlpuente Frasnedo, María _926801
999			_c29557 _d29557