تفاوت تاریخ بروزرسانی در صورت داشتن اشتراک
| نمایه | آخرین بروز رسانی |
|---|---|
| Scopus | فوریه ۲۰۲۲ |
| ISI | مارس ۲۰۲۳ |
| SCImago | ژانویه ۲۰۲۰ |
| ISI Open Access Journals | مارس ۲۰۲۴ |
| لیست سیاه وزارت علوم | فروردین ۱۴۰۲ |
| لیست سیاه وزارت بهداشت | فروردین ۱۴۰۲ |
| لیست سیاه دانشگاه آزاد | بهمن ۱۳۹۹ |
| مجلات دارای زمان داوری | ژانویه ۲۰۲۲ |
| مجلات درجه بندی شده از نظر سختی پذیرش | ژانویه ۲۰۲۲ |
| فراخوانهای مقاله | فوریه ۲۰۲۴ |
| نمایه | آخرین بروز رسانی |
|---|---|
| Scopus | ژانویه ۲۰۲۴ |
| ISI | آپریل ۲۰۲۴ |
| SCImago | می ۲۰۲۴ |
| ISI Open Access Journals | مارس ۲۰۲۴ |
| لیست سیاه وزارت علوم | فروردین ۱۴۰۳ |
| لیست سیاه وزارت بهداشت | فروردین ۱۴۰۳ |
| لیست سیاه دانشگاه آزاد | آذر ۱۴۰۱ |
| مجلات دارای زمان داوری | ژانویه ۲۰۲۴ |
| مجلات درجه بندی شده از نظر سختی پذیرش | ژانویه ۲۰۲۴ |
| فراخوانهای مقاله | فوریه ۲۰۲۴ |
Journal Of Automated Reasoning
| هلند | کشور |
| ۰٫۹۴۴ | Impact Factor |
| ۱٫۰۱۷ | پنج ساله Impact Factor |
| اشتراک نقره ای تهیه کنید | زمان داوری مقاله(تصمیم اولیه) |
| 0168-7433 | ISSN |
| 1573-0670 | e-ISSN |
| 1985 تا کنون | مدت فعالیت |
| Springer Nature | ناشر |
| www.springer.com | سایت مجله |
ISI
آخرین بروز رسانی مارس ۲۰۲۳
Scopus
آخرین بروز رسانی فوریه ۲۰۲۲
این مجله در فهرست مجلات Scopus قرار دارد بر اساس تقسیم بندی این بنیاد مقالات چاپ شده در این مجله در رشته های تخصصی زیر قرار دارند:
SCImago
آخرین بروز رسانی ژانویه ۲۰۲۰
بر اساس دسته بندی این بنیاد این مجله در دسته Q2 قرار دارد
رشته تخصصی و رتبه مجله در آن رشته:
اهداف مجله
مجله استدلال خودکار به تئوری، اجرا و کاربردهای استدلال منطقی توسط کامپیوتر اختصاص دارد. موضوعات مورد علاقه به علوم کامپیوتر، ریاضیات و فلسفه مرتبط است. آنها شامل توسعه و استفاده از اثبات‌کننده‌های خودکار قضیه، دستیاران اثبات رسمی، و ابزارهای نرم‌افزاری مرتبط مانند بررسی‌کننده‌های مدل هستند. طراحی و مطالعه منطق‌های زیربنایی و ویژگی‌های نظری سیستم‌های اثباتی که برای کشف و بیان براهین صوری استفاده می‌شوند. و استفاده از تکنیک های هوش مصنوعی برای هدایت جستجو برای اثبات.
کاربردهای علمی و صنعتی به عنوان مطالعات موردی ارزشمند هستند. آنها ممکن است مربوط به تأیید سخت‌افزار یا نرم‌افزار باشند، جایی که می‌توان از آنها برای ایجاد صحت یا ویژگی‌های امنیتی، یا رسمی‌سازی ریاضیات، در میان بسیاری از زمینه‌ها استفاده کرد. تلاش‌های راستی‌آزمایی موفقیت‌آمیز، درس‌هایی در مورد نحوه استفاده بهتر از ابزارها و نحوه تقویت آنها به دست می‌دهد. آنها همچنین به آینده‌ای اشاره می‌کنند که در آن تأیید رسمی برای زیرساخت‌های محاسباتی حیاتی و برای تحقیقات در ریاضیات، علوم رایانه و سایر رشته‌هایی که می‌توانند از راحتی و دقت استدلال خودکار بهره‌مند شوند، معمول خواهد بود.