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 
 - México :   Alfaomega Grupo Editor,  c2010 
 - 177 páginas :  ilustraciones, fórmulas, gráficas ;  23 cm. 
<br/><br/> Incluye índice. 
<br/><br/><label>ISBN: </label>9786077854333 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programación lógica <br/>Prolog (Lenguaje de programación para computadora)
<br/><br/><label>LC Class. No.: </label>QA76.63   / L43 2010