000			01187nam a22003377a 4500
001			BGEN3812
005			20260710171926.0
006			a||||gr|||| 00| 0
007			ta
008			161204t ec ||||gr|||| 00| 0 spa d
020			_a9786077854333
040			_aUEB _bspa _cUEB
041	0		_aspa
082	0	4	_a004.015 1 _bL4736l
100	1		_aLedesma, Luis de _945602
245	1	0	_aLógica para la computación : _bteorías de primer orden, resolución y elementos de programación lógica y PROLOG / _cLuis de Ledesma
250			_aPrimera edición
260			_aMéxico, D.F., México : _bRa-Ma, _c2010
300			_a177 páginas ; _bilustraciones ; _c23 cm.
336			_atexto
337			_asin mediación
338			_avolumen
500			_aIncluye índice.
504			_aIncluye bibliografía.
505	0		_aTeorías de primer orden -- Resolución -- Elementos de programación lógica y prolog -- Apéndices.
650	1	4	_aProgramación (Matemáticas). _92863
650	2	4	_aProgramación lógica (Computadores electrónicos). _944574
650	2	4	_aLógica simbólica y matemática. _92736
650	2	4	_aEstructura de datos (Computadores). _944502
942			_cBK _2ddc
999			_c4803 _d4803