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

معلومات عامة
بلد المنشأ	مملكة هولندا
التأسيس	1983
العنوان المختصر	J. Autom. Reason.
مواقع الويب	springer.com… (الإنجليزية); dx.doi.org…
اللغة	الإنجليزية
المواضيع	علم الحاسوب
الناشر	شبرينغر
ISSN	Journal of automated reasoning : 0168-7433 ; (مواد مطبوعة); Journal of automated reasoning (Dordrecht. Online) : 1573-0670 ; (منشور إلكتروني) ;

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

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

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

^ ^ا ^ب ^ج مذكور في: بوابة الرقم الدولي الموحد للدوريات. الرَّقم التَّسلسليُّ المِعياريُّ الدَّوليُّ (ISSN): 0168-7433. الناشر: ISSN International Centre. لغة العمل أو لغة الاسم: الإنجليزية.
^ ^ا ^ب مذكور في: بوابة الرقم الدولي الموحد للدوريات. الرَّقم التَّسلسليُّ المِعياريُّ الدَّوليُّ (ISSN): 1573-0670. الناشر: ISSN International Centre. لغة العمل أو لغة الاسم: الإنجليزية.
^ Robert Veroff، Automated reasoning and its applications، مؤرشف من الأصل في 2020-03-15
^ Allen B. Tucker، Computer science handbook، مؤرشف من الأصل في 2020-01-28 {{استشهاد}}: |archive-date= / |archive-url= timestamp mismatch (مساعدة)
^ "Journal of Automated Reasoning". Springer. مؤرشف من الأصل في 2018-06-06. اطلع عليه بتاريخ 2010-08-02. {{استشهاد ويب}}: |archive-date= / |archive-url= timestamp mismatch (مساعدة)

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

لا بيانات لهذه المقالة على ويكي بيانات تخص الفن

الموقع الرسمي

هذه بذرة مقالة عن مجلة بحاجة للتوسيع. فضلًا شارك في تحريرها.

[f60d8e246592c16e707d2dbe391805cb0ca3b281-1] ا ^ب ^ج مذكور في: بوابة الرقم الدولي الموحد للدوريات. الرَّقم التَّسلسليُّ المِعياريُّ الدَّوليُّ (ISSN): 0168-7433. الناشر: ISSN International Centre. لغة العمل أو لغة الاسم: الإنجليزية.

[6be26ed985d181ae1e79664d665c161da63f8348-2] ا ^ب مذكور في: بوابة الرقم الدولي الموحد للدوريات. الرَّقم التَّسلسليُّ المِعياريُّ الدَّوليُّ (ISSN): 1573-0670. الناشر: ISSN International Centre. لغة العمل أو لغة الاسم: الإنجليزية.

[3] Robert Veroff، Automated reasoning and its applications، مؤرشف من الأصل في 2020-03-15

[4] Allen B. Tucker، Computer science handbook، مؤرشف من الأصل في 2020-01-28 {{استشهاد}}: |archive-date= / |archive-url= timestamp mismatch (مساعدة)

[5] "Journal of Automated Reasoning". Springer. مؤرشف من الأصل في 2018-06-06. اطلع عليه بتاريخ 2010-08-02. {{استشهاد ويب}}: |archive-date= / |archive-url= timestamp mismatch (مساعدة)

[1]

[2]

[3]

[4]

[5]