000			01196cam a2200301Ia 4500
001			tec012368593
003			MX-JoTES
005			20190625085324.0
008			091110s2009 mx m b a 1 0 spa d
020			_a9786077854333
040			_aI8M _bspa _cI8M
050		4	_aQA76.9.L63 _bL43 2009
090			_asu clasificacion anterior era 626.531 D454
100	1		_aLedesma, Luis de.
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			_a1a ed.
260			_aMéxico : _bAlfaomega, _c2009.
300			_a177 p. : _bil ; _c23 cm.
504			_aIncluye referencias bibliográficas (p. [171]-174) e índice.
650		4	_aLógica computacional.
930			_aQA76.9.L63
930			_aQA76.9 .L63
930			_aQA76.9.L63 L43 2009
980			_aOCLC
995			_aNFac ALFAOMEGA00030050 Fecha:10-12-09 Can:$158.40 En:10-12-09 Comprobante#18255 Para 001 copies
995			_aNFac 4698 Fecha:06-10-10 Can:$228.00 En:11-10-10 Comprobante#18074 Para 001 copies \
995			_aNFac BShop18900 Fecha:30-08-10 Can:$154.44 En:30-08-10 Comprobante#5543 Para 001 copies
999			_c10898 _d10898