Hispanopedia WikiLa Revista de Razonamiento Formalizado es una revista académica de acceso abierto con revisión por pares que publica investigaciones sobre la formalización de las matemáticas, los algoritmos y los sistemas de software, incluyendo trabajos en matemáticas clásicas, matemáticas constructivas , algoritmos formales y verificación de programas . [ 1 ] Establecida en 2009, es mantenida por AlmaDL , la biblioteca digital de la Universidad de Bolonia .
Resumen e indexación
La revista está indexada y resumida en Scopus , MathSciNet y Zentralblatt MATH .
Referencias
- ↑ "Journal of Formalized Reasoning" . SCImago Journal & Country Rank . Consultado el 10 de junio de 2026 .
Enlaces externos
- Sitio web oficial
Categorías :
- revistas de informática
- Revistas de acceso abierto
- Razonamiento
- Revistas académicas fundadas en 2008.
- Revistas semestrales
- Universidad de Bolonia
- Revistas en inglés
- Revistas de matemáticas
- Esbozos de revistas de informática