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, D. F.:   Alfaomega Grupo Editor, S.A. de C.V.,   2010 
 - 180 p. :  il., fig., tab. ;  23 cm 
<br/><br/> Índice.-- Apéndices. Definiciones y demostraciones inductivas.-- Adecuación de las tablas analíticas.-- Consideraciones elementales sobre la representación del conocimiento con lenguajes de primer orden.-- Referencias.-- Índice alfabético 
<br/><br/>Teorías de primer orden.-- Resolución.-- Elementos de programación lógica y PROLOG. 
<br/><br/>2010 
<br/><br/><label>ISBN: </label>978-607-7854-33-3 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Procesamiento de datos Ciencia de los computadores
<br/><br/><label>Dewey Class. No.: </label>004 - Procesamiento de datos Ciencia de los computadores