De Ledesma, Luis <br/><br/>
Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG 

 - [México, México]   Alfaomega  2010 
 - 177 p.     23 cm. 
<br/><br/>Bibliografía y sitios web: p.[171]-174 
<br/><br/><label>ISBN: </label>978-607-7854-33-3 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LEBGUAJES DE PROGRAMACION - PROLOG<br/>LOGICA MATEMATICA
<br/><br/><label>Dewey Class. No.: </label>164/D34l