Journal of Formalized Reasoning
oeuvre revue scientifique
Le Journal of Formalized Reasoning (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 formalisation mathématique (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. — Wikipédia (CC BY-SA)
Nature : revue scientifique, revue académique, revue en libre accès
- création
- janvier 2008
- pays
- Italie
Catégories : revues scientifiques · publications · œuvres