Ledesma, Luis de. <br/><br/>
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. 
 - Madrid :   Alfaomega Grupo Editor,  2010 
 - 177 p. :   il. 
<br/><br/>Incluye referencias bibliográficas e índice. 
<br/><br/><label>ISBN: </label>9786077854333 - 6077854336 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Estructura de datos (Informática)<br/>Informática<br/>Lógica simbólica y matemática.<br/>Programación lógica. --Matemáticas
<br/><br/><label>Dewey Class. No.: </label>004.0151 L473L