تفاوت تاریخ بروزرسانی در صورت داشتن اشتراک
| نمایه | آخرین بروز رسانی |
|---|---|
| Scopus | فوریه ۲۰۲۲ |
| ISI | مارس ۲۰۲۳ |
| SCImago | ژانویه ۲۰۲۰ |
| ISI Open Access Journals | مارس ۲۰۲۴ |
| لیست سیاه وزارت علوم | فروردین ۱۴۰۲ |
| لیست سیاه وزارت بهداشت | فروردین ۱۴۰۲ |
| لیست سیاه دانشگاه آزاد | بهمن ۱۳۹۹ |
| مجلات دارای زمان داوری | ژانویه ۲۰۲۲ |
| مجلات درجه بندی شده از نظر سختی پذیرش | ژانویه ۲۰۲۲ |
| فراخوانهای مقاله | فوریه ۲۰۲۴ |
| نمایه | آخرین بروز رسانی |
|---|---|
| Scopus | ژانویه ۲۰۲۴ |
| ISI | آپریل ۲۰۲۴ |
| SCImago | می ۲۰۲۴ |
| ISI Open Access Journals | مارس ۲۰۲۴ |
| لیست سیاه وزارت علوم | فروردین ۱۴۰۳ |
| لیست سیاه وزارت بهداشت | فروردین ۱۴۰۳ |
| لیست سیاه دانشگاه آزاد | آذر ۱۴۰۱ |
| مجلات دارای زمان داوری | ژانویه ۲۰۲۴ |
| مجلات درجه بندی شده از نظر سختی پذیرش | ژانویه ۲۰۲۴ |
| فراخوانهای مقاله | فوریه ۲۰۲۴ |
Journal Of Formalized Reasoning
| ایتالیا | کشور |
| 1972-5787 | ISSN |
| 1972-5787 | e-ISSN |
| 2013 تا کنون | مدت فعالیت |
| Alma Mater Studiorum (Bologna) | ناشر |
| jfr.unibo.it | سایت مجله |
ISI
آخرین بروز رسانی مارس ۲۰۲۳
Scopus
آخرین بروز رسانی فوریه ۲۰۲۲
این مجله در فهرست مجلات Scopus قرار دارد بر اساس تقسیم بندی این بنیاد مقالات چاپ شده در این مجله در رشته های تخصصی زیر قرار دارند:
SCImago
آخرین بروز رسانی ژانویه ۲۰۲۰
بر اساس دسته بندی این بنیاد این مجله در دسته Q4 قرار دارد
رشته تخصصی و رتبه مجله در آن رشته:
اهداف مجله
این مجله هدف طبیعی برای مقالات تحقیقاتی است که تلاش‌های رسمی، خودکار یا نیمه خودکار را در هر زمینه توصیف می‌کنند، از جمله ریاضیات کلاسیک، الگوریتم‌های رسمی ریاضیات سازنده، و تأیید برنامه. تاکید مجله بر تکنیک ها و متدولوژی های اثبات و تاثیر آنها بر فرآیند رسمی سازی است. به طور خاص، این مجله یک انجمن برای مقایسه رویکردهای جایگزین، افزایش قابلیت استفاده مجدد از راه حل ها و ارائه دیدگاه روشنی از وضعیت فعلی این حوزه فراهم می کند. اگرچه خارج از محدوده مجله است، اما همچنین به درک بهتر الزامات ابزارهای خودکار و تعاملی که از تلاش رسمی پشتیبانی می کنند کمک می کند و به وسیله ای اصلی برای انتشار و بهبود آنها تبدیل می شود. این مجله ارسال مقالات جالب، روشنگر و آموزنده را که ترجیحاً همراه با متن رسمی باشد تشویق می کند. اگرچه قرار نیست این مجله به مخزن اسکریپت های اثبات تبدیل شود، اما تلاش خواهد شد تا اطمینان حاصل شود که مقالات رسمی سازی پشتیبان «داده های تجربی» در دسترس باقی می مانند.