000			02092nam a22003137a 4500
003			OSt
005			20260416140152.0
008			260415t2007 xxu||||| |||| 00| 0 spa d
020			_a9788483223680
040			_aUnicoc _bspa _c00001 _d00001
082			_a005.115
100			_912949 _aIranzo Pascual, Julián
245			_aProgramación lógica _b: Teoría y práctica _c/ Pascual Julián Iranzo, María Alpuente Frasnedo
250			_a1 Ed.
260			_aEspaña : _bPearson , _c2007
300			_a498 páginas _bIlustraciones, diagramas, tablas, gráficas
500			_aIncluye Índice y Bibliografía
505			_tCAPÍTULO 1 Una Panorámica de la Programación Declarativa. -- _tParte I. Fundamentos: sistemas formales, lógica y lenguajes de programación. -- _tCAPÍTULO 2 Sistemas Formales, Lógica y Lenguajes de Programación. -- _tCAPÍTULO 3 De la Demostración Automática a la Programación Lógica (I): introducción y métodos semánticos. -- _tCAPÍTULO 4 De la Demostración Automática a la Programación Lógica (II): el principio de resolución de Robinson. -- _tParte II. Programación lógica. -- _tCAPÍTULO 5 Programación Lógica. -- _tCAPÍTULO 6 El Lenguaje Prolog: Introducción. -- _tCAPÍTULO 7 El Lenguaje Prolog: Aspectos Avanzados. -- _tParte III. Aplicaciones de la programación lógica. -- _tCAPÍTULO 8 Representación del conocimiento. -- _tCAPÍTULO 9 Resolución de problemas. -- _tCAPÍTULO 10 Programación Lógica y Tecnología Software Rigurosa. -- _tApéndice: Fundamentos y notaciones matemáticas.
526			_5Unicoc
546			_aEspañol
650		0	_95064 _aProgramación
650		0	_98257 _aEstructura de datos
650		0	_910398 _aAlgoritmos
650		0	_910397 _aVariables, constantes y operadores
658		0	_98220 _aPrograma de Ingeniería de Sistemas
700			_912950 _aAlpuente Frasnedo, María
856			_yAcceso online exclusivo para comunidad Unicoc. _uhttps://unicoceduco-my.sharepoint.com/:b:/g/personal/direccionbiblioteca_unicoc_edu_co/IQDcAZwK-V_HTqUPkWWHVDmfAVQsgjPmZqxvTsy8_e9Sv_Y
942			_2ddc _cEBOOK
999			_c10851 _d10851