De Ledesma, Luis <br/><br/>
Logica para la Computacion, teorias de primer orden, resolucion y elementos de programacion logica y Prolog :    /  
De Ledesma, Luis 
 - 1a ed. 
 - Mexico ;   Ajaomega ,   2010 
 - 180 p. ;   23 cm :    
<br/><br/><label>ISBN: </label>9786077854333 
<br/><br/><label>Subjects--Index Terms: </label>ADECUACION DE LAS TABLAS ANALITICAS DEFINICIONES Y DEMOSTRACIONES EDUCATIVAS ELEMENTOS DE PROGRAMACION LOGICA Y PROLOG RESOLUCION TEORIAS DE PRIMER ORDEN 
<br/><br/><label>Universal Decimal Class. No.: </label>4