Le (JFR) est une revue scientifique à évaluation par les pairs en libre accès créée en 2009.
La revue publie des articles sur les recherches en dans tous les domaines, y compris les mathématiques classiques, le constructivisme, les algorithmes formels et la vérification formelle de programmes. La revue est intéressée par les techniques et méthodologies de preuve et leur impact sur le processus de formalisation. En particulier, la revue offre un forum pour comparer des approches alternatives, et les études de réutilisabilité des solutions, « Journal of Formalized Reasoning » sur l'université de Bologne..
La revue est gérée par AlmaDL, AlmaDL sur journals.unibo.it. qui est la bibliothèque numérique de l'université de Bologne. Elle paraît en continu. Les articles sont regroupés en un volume annuel composé en général d'un seul numéro ; le volume peut comporter deux numéros, le deuxième constituant alors un numéro spécial.
Résumés et indexation
Le journal est indexé et ses articles sont résumés dans Scopus, MathSciNet, Zentralblatt MATH et DBLP.
Sur SCImago Journal Rank, le journal présente un facteur d'impact de 0,71 pour 2018, « Journal of Formalized Reasoning » sur SCImago Journal Rank.
Notes et références
Liens externes
Catégorie:Revue d'informatique en libre accès Catégorie:Revue de mathématiques en libre accès Catégorie:Titre de presse créé en 2008 Catégorie:Université de Bologne Catégorie:Presse écrite en anglais Catégorie:Revue italienne