colombiano
Ricardo Peña es un escritor y poeta contemporáneo, conocido por su obra en el ámbito de la literatura colombiana. Su trabajo abarca temas sociales y culturales que reflejan la realidad de su país.
1993·divulgacion
Un texto introductorio al paradigma de la programación lógica, utilizando Prolog como lenguaje principal para ilustrar conceptos como la unificación, la resolución y la inferencia automática.
2002·divulgacion
Este libro proporciona una base sólida en lógica matemática aplicada a la computación, cubriendo lógica proposicional, lógica de predicados de primer orden y sus aplicaciones en la verificación de programas y la lógica como paradigma de programación.
Aparecen junto a Ricardo Peña en búsquedas del archivo
