تفاوت تاریخ بروزرسانی در صورت داشتن اشتراک
| نمایه | آخرین بروز رسانی |
|---|---|
| Scopus | فوریه ۲۰۲۲ |
| ISI | آگوست ۲۰۲۳ |
| SCImago | ژانویه ۲۰۲۰ |
| ISI Open Access Journals | می ۲۰۲۵ |
| لیست سیاه وزارت علوم | شهریور ۱۴۰۲ |
| لیست سیاه وزارت بهداشت | شهریور ۱۴۰۲ |
| لیست سیاه دانشگاه آزاد | بهمن ۱۳۹۹ |
| مجلات دارای زمان داوری | ژانویه ۲۰۲۲ |
| مجلات درجه بندی شده از نظر سختی پذیرش | ژانویه ۲۰۲۲ |
| فراخوانهای مقاله | مارس ۲۰۲۵ |
| آمار دانلود مقالات هر مجله | ژانویه ۲۰۲۲ |
| نمایه | آخرین بروز رسانی |
|---|---|
| Scopus | فوریه ۲۰۲۵ |
| ISI | سپتامبر ۲۰۲۵ |
| SCImago | می ۲۰۲۵ |
| ISI Open Access Journals | می ۲۰۲۵ |
| لیست سیاه وزارت علوم | شهریور ۱۴۰۴ |
| لیست سیاه وزارت بهداشت | فروردین ۱۴۰۳ |
| لیست سیاه دانشگاه آزاد | دی ۱۴۰۳ |
| مجلات دارای زمان داوری | می ۲۰۲۵ |
| مجلات درجه بندی شده از نظر سختی پذیرش | می ۲۰۲۵ |
| فراخوانهای مقاله | مارس ۲۰۲۵ |
| آمار دانلود مقالات هر مجله | می ۲۰۲۵ |
Journal Of Applied Logics-ifcolog Journal Of Logics And Their Applications
| انگلستان | کشور |
| 2631-9810 | ISSN |
| 2631-9829 | e-ISSN |
| 2018 تا کنون | مدت فعالیت |
| College Publications | ناشر |
| www.collegepublications.co.uk | سایت مجله |
ISI
آخرین بروز رسانی آگوست ۲۰۲۳
Scopus
آخرین بروز رسانی فوریه ۲۰۲۲
این مجله در فهرست مجلات Scopus قرار دارد و با نام IfCoLoG Journal of Logics and their Applications ثبت شده است. بر اساس تقسیم بندی این بنیاد مقالات چاپ شده در این مجله در رشته های تخصصی زیر قرار دارند:
رتبه مجله در رشته تخصصی در پایین جدول بخش سایمگو نشان داده شده است.
SCImago
آخرین بروز رسانی ژانویه ۲۰۲۰
بر اساس دسته بندی این بنیاد این مجله در دسته Q4 قرار دارد
رشته تخصصی و رتبه مجله در آن رشته:
اهداف مجله
همه حوزه‌های منطق محض و کاربردی، از جمله سیستم‌های منطقی محض، نظریه اثبات، منطق سازنده، منطق مقوله‌ای، منطق معین و زمانی، نظریه مدل، نظریه بازگشت، نظریه نوع، نظریه اسمی، منطق غیرکلاسیک، منطق غیر یکنواخت، استدلال عددی و عدم قطعیت، منطق و هوش مصنوعی، مبانی برنامه نویسی منطق، بازنگری باورها، منطق پویا، منطق کوانتومی، منطق جبری، منطق و شناخت، منطق احتمالاتی، منطق و شبکه ها، سیستم های عصبی-منطقی، پیچیدگی، نظریه استدلال، منطق و محاسبات، منطق و زبان، مهندسی منطق، سیستم های مبتنی بر دانش و استدلال خودکار، مسائل منطقی در بازنمایی دانش، سیستم های دانش و باور. منطق و معناشناسی برنامه نویسی؛ مشخصات و تایید برنامه ها و سیستم ها، کاربردهای منطق در سخت افزار و VLSI، زبان طبیعی، محاسبات همزمان، برنامه ریزی، تئوری عامل و پایگاه های داده.