Lecturas compartidas el 11 de abril de 2024
#Prolog #LogicProgramming #Math
Buenos días
Las lecturas compartidas en Mastodon el 11 de abril de 2024 son
Lecturas compartidas el 10 de abril de 2024. #ITP #Coq
The mathematics of Prolog. ~ David S Warren. #Prolog #LogicProgramming #Math
También están en GitHub.
Saludos, José A.
"La mente es como un paracaídas. No funciona si no está abierta." ~ Frank Zappa (1940-1993).
