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 
 - Primera edición 
 - México, D.F., México :  Ra-Ma,  2010 
 - 177 páginas ;  ilustraciones ;  23 cm. 
<br/><br/> Incluye índice. 
<br/><br/>Incluye bibliografía.  
<br/><br/>Teorías de primer orden -- Resolución -- Elementos de programación lógica y prolog -- Apéndices.  
<br/><br/><label>ISBN: </label>9786077854333 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programación (Matemáticas).<br/>Programación lógica (Computadores electrónicos).<br/>Lógica simbólica y matemática.<br/>Estructura de datos (Computadores).
<br/><br/><label>Dewey Class. No.: </label>004.015 1  / L4736l