Logical Methods in Computer Science

Logical Methods in Computer Science e.V.

موقع المجلة الرسميطريقة التحكيم: تحكيم علمي
حالة التقييم متاحة بعد تسجيل الدخول

عن المجلة

Logical Methods in Computer Science مجلة مفتوحة الوصول يصدرها Logical Methods in Computer Science e.V. في ألمانيا وتنشر بـENGLISH. مُدرجة في DOAJ بحسب المصادر المقروءة. مدة التحكيم المعلنة لدى DOAJ: 33 أسبوعاً. الوقائع منقولة كما وردت في مصادرها بتاريخ التقاطها؛ مؤشرات PublishLens متاحة بعد تسجيل الدخول.

الوقائع الأساسية

الناشر
Logical Methods in Computer Science e.V.
ISSN
1860-5974
البلد
ألمانيا
اللغات
ENGLISH
الوصول
وصول مفتوح
عدد المقالات في DOAJ
1551
مدة التحكيم المعلنة
33 أسبوعاً
نمط التحكيم المعلن
peer_review
الموقع الرسمي
https://lmcs.episciences.org/

الإدراج في الفهارس

  • DOAJ · 2004-09-24
الفهرسة
DOAJ
رسوم النشر
—
مدة التحكيم المُعلَنة (DOAJ)
33 أسبوعاً — مُعلَن من المجلة فقط (غير مقاس)
النشاط (OpenAlex)
نشطة — آخر أعمال 2026
حالة الإدراج في قائمة PublishLens
تظهر بعد تسجيل الدخول
تُحتسب للترقية في جامعتك؟
اختر جامعتك ورتبتك أدناه ↓

إشارات المنهجية (وقائع مؤرَّخة من مصادرها)

تفاصيل التقييم وفق المنهجية المنشورة تُعرض للمسجّلين مجاناً.

أنشئ حساباً مجانياً لعرض التقييم

ملف المجلة الوصفي

بيانات وصفية من مصادر علنية (DOAJ، OpenAlex، PubMed) بتاريخ الالتقاط المبيَّن — لا تتضمن أي تقييم أو حكم.

عدد المقالات في DOAJ

1551

أحدث مقال منشور

قبل 14 شهرًا

متوسط مدة المراجعة (مُعلَن من المجلة عبر DOAJ)

33أسبوعاً

عدد الأعمال في OpenAlex

1721

آخر سنة نشر مسجلة

2026

تُعلنها OpenAlex في 2 من 3 مصادر (أعلام CC0، لا فهرسة مُتحقَّقة)DOAJSciELOOpenAlex Core

معامل h

46

معامل i10

433

من بيانات OpenAlex المفتوحة (CC0).

السياسة التحريرية10
تاريخ آخر مراجعة لدى DOAJ
2026-08-03
تاريخ الإضافة إلى DOAJ
2004-09-24
فحص الاستلال المُعلَن
غير مُعلَن
رسوم أخرى غير رسوم النشر
لا
هيئة التحرير
الصفحة الرسمية ↗
السجل النرويجي (HK-dir)— 2026
المستوى 1 — قناة علمية معتمدة
مراجع مودعة علنياً في Crossref
0%
معرّفات ORCID في الإيداعات الحديثة
6%
مسجَّلة في فحص التشابه (Crossref Similarity Check)
✓
تُودِع بيانات الرخص في Crossref
✓
سياسة التحكيم
عرض السياسة
الهوية والاستمرارية2
عناوين بديلة
LMCS
نوع المصدر
journal
التصنيف الموضوعي4

الموضوعات (DOAJ)

Philosophy. Psychology. Religion: LogicScience: Mathematics: Instruments and machines: Electronic computers. Computer science

رموز تصنيف مكتبة الكونغرس

BC1-199QA75.5-76.95

المواضيع العلمية

  • Logic, programming, and type systems
  • Logic, programming, and type systems
  • Formal Methods in Verification
  • Formal Methods in Verification
  • Logic, Reasoning, and Knowledge
  • Logic, Reasoning, and Knowledge
  • semigroups and automata theory
  • semigroups and automata theory
عرض كل المجالات (50)
  • Computability, Logic, AI Algorithms
  • Computability, Logic, AI Algorithms
  • Advanced Algebra and Logic
  • Advanced Algebra and Logic
  • Distributed systems and fault tolerance
  • Distributed systems and fault tolerance
  • Advanced Topology and Set Theory
  • Advanced Topology and Set Theory
  • Complexity and Algorithms in Graphs
  • Petri Nets in System Modeling
  • Petri Nets in System Modeling
  • Complexity and Algorithms in Graphs
  • Advanced Graph Theory Research
  • Advanced Graph Theory Research
  • Semantic Web and Ontologies
  • Semantic Web and Ontologies
  • Advanced Database Systems and Queries
  • Advanced Database Systems and Queries
  • Homotopy and Cohomology in Algebraic Topology
  • Homotopy and Cohomology in Algebraic Topology
  • Model-Driven Software Engineering Techniques
  • Model-Driven Software Engineering Techniques
  • Machine Learning and Algorithms
  • Machine Learning and Algorithms
  • Constraint Satisfaction and Optimization
  • Security and Verification in Computing
  • Constraint Satisfaction and Optimization
  • Security and Verification in Computing
  • Algorithms and Data Compression
  • Algorithms and Data Compression
  • Software Testing and Debugging Techniques
  • Software Testing and Debugging Techniques
  • Natural Language Processing Techniques
  • Natural Language Processing Techniques
  • Advanced Software Engineering Methodologies
  • Advanced Software Engineering Methodologies
  • DNA and Biological Computing
  • DNA and Biological Computing
  • Parallel Computing and Optimization Techniques
  • Parallel Computing and Optimization Techniques
  • Bayesian Modeling and Causal Inference
  • Bayesian Modeling and Causal Inference

كلمات مفتاحية (DOAJ)

  • theoretical computer science
  • logical methods

تأكيدات مجتمعية — ما رآه مستخدمون في MJL أو Scopus Sources؛ ليست تحققاً من المنصة ولا تدخل في أي درجة.

جارٍ تحميل التأكيدات المجتمعية…
كيف نُقيّم؟ناشر هذه المجلة؟ تظلّم على تقدير مشتق أو طلب تصحيح واقعة

سجل المجلة في مصادر أخرى:Web of Science MJLDOAJ

كل ما يُعرض هنا يُنتَج آلياً من مصادر مسمّاة (DOAJ، OpenAlex، Crossref، PubMed، السجل النرويجي) بتاريخ التقاطه، دون تحرير بشري. الوقائع تظهر كما سُجِّلت في مصدرها؛ والدرجات المشتقة (PCI، PTD، درجة PublishLens) تتبع منهجية منشورة. ليست حكماً على المجلة ولا اعتماداً رسمياً ولا استشارة.

أي بند خاطئ يُصحَّح آلياً بإعادة قراءة مصدره (خلال 24 ساعة للمصادر اليومية و7 أيام للأسبوعية) مع سجل تغييرات مؤرَّخ، وكل بند يرتبط بسجله في المصدر. الاعتراض على تقدير مشتق من PublishLens يمر عبر آلية التظلم (15 يوم عمل). آلية التظلم · دليل المؤشرات

بيانات السجل النرويجي: Kanalregisteret (HK-dir، النرويج) — رخصة CC BY 4.0 / NLOD — مُعالَجة: استخراج المستوى بالسنة · قائمة أعضاء OASPA — رخصة CC BY

آخر قراءة آلية للمصدر: