Ir al contenido principal

Vestigium

Cuaderno de Investigación en Lógica Computacional

José A. Alonso
Archivo
Etiquetas
Acerca de
RSS

Publicaciones sobre LeanProveer

27-07-2025Reseña de «Solving formal math problems by decomposition and iterative reflection»

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