Lógica para la Computación: Teorías de Primer Orden, Resolución y Elementos de Programación Lógica y Prolog / [Impreso]
Luis De Ledesma
- Primera Edición
- 177 páginas : Ilustraciones blanco y negro, diagramas, figuras, tablas ; 17 x 23 centímetros.
Referencias en la pagina 171 - 174 / índice alfabético del 175- 177
Sala especializada / a domicilio
Con los símbolos y leyes lógicas que nos enseñaran a usar el sentido común y nuestra capacidad de razonar sobre la realidad.