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  2010 
 - 177 p. :   23 cm. 
<br/><br/><label>ISBN: </label>9786077854333 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programación logica<br/>lógica de primer orden<br/>PROLOG--Lenguajes de programación computadores
<br/><br/><label>Dewey Class. No.: </label>005.113  / L473