Loading article…
『Journal of Formalized Reasoning』は、数学、アルゴリズム、ソフトウェアシステムの形式化に関する研究を掲載する査読付きオープンアクセス学術誌で、古典数学、構成的数学、形式アルゴリズム、プログラム検証に関する研究も含まれています。[ 1 ] 2009年に創刊され、ボローニャ大学のデジタルライブラリであるAlmaDL によって管理されています。
このジャーナルは、 Scopus、MathSciNet、およびZentralblatt MATHに抄録・索引付けされています。