01187nam a22003377a 4500 BGEN3812 20260710171926.0 a||||gr|||| 00| 0 ta 161204t ec ||||gr|||| 00| 0 spa d 9786077854333 UEB spa UEB spa 004.015 1 L4736l Ledesma, Luis de 45602 Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG / Luis de Ledesma Primera edición México, D.F., México : Ra-Ma, 2010 177 páginas ; ilustraciones ; 23 cm. texto sin mediación volumen Incluye índice. Incluye bibliografía. Teorías de primer orden -- Resolución -- Elementos de programación lógica y prolog -- Apéndices. Programación (Matemáticas). 2863 Programación lógica (Computadores electrónicos). 44574 Lógica simbólica y matemática. 2736 Estructura de datos (Computadores). 44502 BK ddc 4803 4803 0 0 ddc 0 0 BGEN BGEN 2021-03-29 6214 15399923 0 004.015 1 L4736l 15399923 2021-03-29 00:00:00 Ej.1 2021-03-29 BK ESTANTERIA 5.D