هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها

مجلة المنطق الآلي

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث
مجلة المنطق الآلي
Journal of Automated Reasoning (بالإنجليزية)[1] عدل القيمة على Wikidata
معلومات عامة
بلد المنشأ
التأسيس
موقع الويب
التحرير
اللغة
المواضيع
الإدارة
الناشر
المعرفات
ISSN
0168-7433 — 1573-0670 عدل القيمة على Wikidata
OCLC
263592661 عدل القيمة على Wikidata

المنطق الآلي مجلة تم تأسيس في العام 1983 على يد لاري ووس الذي ترأس تحريرها حتى عام 1992.[2] وهي تكشف النقاب عن الأبحاث والتطورات الحادثة في المنطق الآلي - أي التحقق الميكانيكي من النظريات وغيرها من الاستنتاجات فيما يتعلق بالمنطق الكلاسيكي وغير الكلاسيكي.[3]

ويتم نشر المجلة من خلال سبرنجر. ومنذ عام 2010، أصبح رئيس التحرير هو توبياس نيبكو. ومعامل التأثير للمجلة في عام 2011 هو 0.714، وهي مفهرسة من قبل العديد من خدمات الفهرسة العلمية، بما في ذلك فهرس الاقتباس العلمي الموسع وScopus.[4]

المراجع[عدل]

  1. أ ب ت مذكور في: بوابة الرقم الدولي الموحد للدوريات. الرَّقم التَّسلسليُّ المِعياريُّ الدَّوليُّ (ISSN): 0168-7433. الناشر: ISSN International Centre. لغة العمل أو لغة الاسم: الإنجليزية.
  2. ^ Robert Veroff، Automated reasoning and its applications، مؤرشف من الأصل في 15 مارس 2020
  3. ^ Allen B. Tucker، Computer science handbook، مؤرشف من الأصل في 28 يناير 2020
  4. ^ "Journal of Automated Reasoning"، Springer، مؤرشف من الأصل في 06 يونيو 2018، اطلع عليه بتاريخ 02 أغسطس 2010.

وصلات خارجية[عدل]