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 
De Ledesma, Luis 
 - 1a. ed. 
 - Madrid  España  Ra-Ma  2009 
 - 177 
<br/><br/> INFORMATICA 
<br/><br/><br/>ESPAÑOL 
<br/><br/><label>ISBN: </label>9788478979387 
<br/><br/><label>Subjects--Topical Terms: </label>--TEORIAS DE PRIMER ORDEN - META TEOREMAS - COMPLETUD - CONSISTENCIA - DECIBILIDAD - CLAUSULAS DE HORN - FORMAS PRENEX - SKOLEM . TEORIA DE HERBRAND - PROLOG - RESOLUCION SLD - DEFINICIONES INDUCTIVAS -