Ir al contenido principal

Vestigium

Cuaderno de Investigación en Lógica Computacional

José A. Alonso
Archivo
Etiquetas
Acerca de
RSS

Publicaciones sobre HOL<sub>Light</sub>

26-06-2024Lecturas compartidas el 25 de junio de 2024

Escrito por José A. Alonso usando Nikola
Esta obra está bajo una