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 
 - 177 páginas :  ilustraciones 
<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