تفاوت تاریخ بروزرسانی در صورت داشتن اشتراک
| نمایه | آخرین بروز رسانی |
|---|---|
| Scopus | فوریه ۲۰۲۲ |
| ISI | مارس ۲۰۲۳ |
| SCImago | ژانویه ۲۰۲۰ |
| ISI Open Access Journals | مارس ۲۰۲۴ |
| لیست سیاه وزارت علوم | فروردین ۱۴۰۲ |
| لیست سیاه وزارت بهداشت | فروردین ۱۴۰۲ |
| لیست سیاه دانشگاه آزاد | بهمن ۱۳۹۹ |
| مجلات دارای زمان داوری | ژانویه ۲۰۲۲ |
| مجلات درجه بندی شده از نظر سختی پذیرش | ژانویه ۲۰۲۲ |
| فراخوانهای مقاله | فوریه ۲۰۲۴ |
| نمایه | آخرین بروز رسانی |
|---|---|
| Scopus | ژانویه ۲۰۲۴ |
| ISI | نوامبر ۲۰۲۴ |
| SCImago | می ۲۰۲۴ |
| ISI Open Access Journals | مارس ۲۰۲۴ |
| لیست سیاه وزارت علوم | آذر ۱۴۰۳ |
| لیست سیاه وزارت بهداشت | فروردین ۱۴۰۳ |
| لیست سیاه دانشگاه آزاد | آذر ۱۴۰۱ |
| مجلات دارای زمان داوری | ژانویه ۲۰۲۴ |
| مجلات درجه بندی شده از نظر سختی پذیرش | ژانویه ۲۰۲۴ |
| فراخوانهای مقاله | فوریه ۲۰۲۴ |
Logical Methods In Computer Science
| آلمان | کشور |
| ۰٫۴۳۸ | Impact Factor |
| 1860-5974 | ISSN |
| 1860-5974 | e-ISSN |
| 2005 تا کنون | مدت فعالیت |
| Technischen Universitat Braunschweig | ناشر |
| lmcs.episciences.org | سایت مجله |
ISI
آخرین بروز رسانی مارس ۲۰۲۳
Scopus
آخرین بروز رسانی فوریه ۲۰۲۲
این مجله در فهرست مجلات Scopus قرار دارد و با نام Logical Methods in Computer Science ثبت شده است. بر اساس تقسیم بندی این بنیاد مقالات چاپ شده در این مجله در رشته های تخصصی زیر قرار دارند:
SCImago
آخرین بروز رسانی ژانویه ۲۰۲۰
بر اساس دسته بندی این بنیاد این مجله در دسته Q2 قرار دارد
رشته تخصصی و رتبه مجله در آن رشته:
اهداف مجله
Logical Methods in Computer Science یک مجله کاملاً داوری، دسترسی آزاد، رایگان و الکترونیکی است. از مقالاتی در زمینه‌های نظری و عملی در علوم کامپیوتر که شامل روشهای منطقی است، به معنای وسیع، استقبال می‌کند. برخی از حوزه های خاص در محدوده آن در زیر ذکر شده است. مقاله ها به روش سنتی داوری می شوند، با دو یا چند داور در هر مقاله. حق چاپ نزد نویسنده محفوظ است.
مباحث روش های منطقی در علوم کامپیوتر:
روش های جبری
اتومات و منطق
کسر خودکار
مدل های طبقه بندی شده و منطق
روشهای جبری
محاسبات و منطق
تأیید به کمک رایانه
نظریه همزمانی
برنامه نویسی محدودیت
سیستم های فیزیکی-سایبری
نظریه پایگاه داده
استدلال غیرقابل قبول
تئوری دامنه
موضوعات در حال ظهور: سیستم های محاسباتی در زیست شناسی
موضوعات در حال ظهور: محاسبات کوانتومی و منطق
نظریه مدل محدود
ریاضیات رسمی
برنامه نویسی تابعی و حساب لامبدا
منطق استقرایی و یادگیری
بررسی اثبات تعاملی
منطق و الگوریتم ها
منطق و پیچیدگی
منطق و بازی
منطق و احتمال
منطق برای بازنمایی دانش
برنامه نویسی منطقی
منطق برنامه ها
منطق معین و زمانی
تجزیه و تحلیل برنامه و بررسی نوع
توسعه برنامه و مشخصات
پیچیدگی اثبات
زمان واقعی و سیستم های هیبریدی
استدلال در مورد اقدامات و برنامه ریزی
رضایت پذیری
امنیت
معناشناسی زبان های برنامه نویسی
بازنویسی اصطلاح و منطق معادله
نظریه تیپ و ریاضیات سازنده.