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.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Journal_of_Formalized_Reasoning
Lien Wikidata : https://www.wikidata.org/wiki/Q6295233
Propriétés
- date_creation
- +2008-01-0
- pays
- Italie