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

 - México D.F.  Alfaomega  2010 
 - 177 páginas 
<br/><br/><label>ISBN: </label>9786077854333 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPLEJIDAD COMPUTACIONAL<br/>LENGUAJES FORMALES<br/>LÓGICA<br/>LÓGICA MATEMÁTICA<br/>LÓGICA SIMBÓLICA
<br/><br/><label>Dewey Class. No.: </label>511.3 L473l