000			01666nam a22003617a 4500
999			_c9165 _d9165
005			20220905131148.0
008			190212b2010 mx a||||r|||| 001 0 spa d
020			_a9786077854333
040			_aUNAMBA _cBiblioteca Especializada de Ingeniería Informática y Sistemas _bspa _erda
041			_aspa
082			_a004.0151 _bD37 _d03
100			_aLedesma, Luis De _eAutor
245			_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 _h[Impreso]
250			_aPrimera Edición
264			_aMexico, D.F.: _bAlfaomega, _c2010
300			_a177 páginas _b: Ilustraciones blanco y negro, diagramas, figuras, tablas _c; 17 x 23 centímetros.
504			_aReferencias en la pagina 171 - 174 / índice alfabético del 175- 177
506			_aSala especializada / a domicilio
520			_aCon los símbolos y leyes lógicas que nos enseñaran a usar el sentido común y nuestra capacidad de razonar sobre la realidad.
526			_5EAP. Ingeniería Informática y Sistemas
546			_aTexto en español
590			_aPara corregir/ actualización código Dewey
650		0	_926290 _a LÓGICA-COMPUTACIÓN
650		0	_916940 _aPROGRAMACIÓN LÓGICA
651			_aMéxico, Colombia, Argentina
900			_bLIB
910			_aJosé Luis Mondalgo Céspedes _b11/02/2019
911			_aMariela B.A. _b05/09/2022
942			_2ddc _cLIB _a109207BEIISC