تفاوت تاریخ بروزرسانی در صورت داشتن اشتراک
| نمایه | آخرین بروز رسانی |
|---|---|
| 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 قرار دارد و با نام Journal of Formalized Reasoning ثبت شده است. بر اساس تقسیم بندی این بنیاد مقالات چاپ شده در این مجله در رشته های تخصصی زیر قرار دارند:
SCImago
آخرین بروز رسانی ژانویه ۲۰۲۰
بر اساس دسته بندی این بنیاد این مجله در دسته Q4 قرار دارد
رشته تخصصی و رتبه مجله در آن رشته:
اهداف مجله
این مجله هدف طبیعی برای مقالات تحقیقاتی است که تلاش‌های رسمی، خودکار یا نیمه خودکار را در هر زمینه توصیف می‌کنند، از جمله ریاضیات کلاسیک، الگوریتم‌های رسمی ریاضیات سازنده، و تأیید برنامه. تاکید مجله بر تکنیک ها و متدولوژی های اثبات و تاثیر آنها بر فرآیند رسمی سازی است. به طور خاص، این مجله یک انجمن برای مقایسه رویکردهای جایگزین، افزایش قابلیت استفاده مجدد از راه حل ها و ارائه دیدگاه روشنی از وضعیت فعلی این حوزه فراهم می کند. اگرچه خارج از محدوده مجله است، اما همچنین به درک بهتر الزامات ابزارهای خودکار و تعاملی که از تلاش رسمی پشتیبانی می کنند کمک می کند و به وسیله ای اصلی برای انتشار و بهبود آنها تبدیل می شود. این مجله ارسال مقالات جالب، روشنگر و آموزنده را که ترجیحاً همراه با متن رسمی باشد تشویق می کند. اگرچه قرار نیست این مجله به مخزن اسکریپت های اثبات تبدیل شود، اما تلاش خواهد شد تا اطمینان حاصل شود که مقالات رسمی سازی پشتیبان «داده های تجربی» در دسترس باقی می مانند.