000			00492nam a2200133 4500
020			_a978-607-7854-33-3
050			_aQA76.63 L3.3 2010
100			_aLedesma, Luis de
245			_aLógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y prolog / Luis de Ledesma
260			_aMéxico, D.F. : Alfaomega, 2010
300			_a177 p. : il.
650			_aProgramación lógica 2. Prolog (Lenguaje de programación para computadora)
942			_cBK
999			_c4404 _d4404