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

معلومات عامة
مجلة المنطق الآلي
	(بالإنجليزية: Journal of Automated Reasoning)‏[1]
بلد المنشأ	مملكة هولندا [1]
التأسيس	1983
اللغة	الإنجليزية [1]
المواضيع	علم الحاسوب
الناشر	سبرنجر
ISSN	0168-7433 — 1573-0670
OCLC	263592661
موقع الويب	dx.doi.org/10.1007/10817.1573-0670

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

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

المراجع

الرَّقم التَّسلسليُّ المِعياريُّ الدَّوليُّ: https://www.worldcat.org/issn/0168-7433 — العنوان : The ISSN portal — الناشر: ISSN International Centre — المخترع: ISSN International Centre
Robert Veroff, Automated reasoning and its applications, مؤرشف من الأصل في 15 مارس 2020 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
Allen B. Tucker, Computer science handbook, مؤرشف من الأصل في 28 يناير 2020 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
"Journal of Automated Reasoning". Springer. مؤرشف من الأصل في 06 يونيو 2018. اطلع عليه بتاريخ 02 أغسطس 2010. الوسيط |CitationClass= تم تجاهله (مساعدة); تحقق من التاريخ في: |تاريخ أرشيف= (مساعدة)

وصلات خارجية

مجلة المنطق الآلي على موقع OCLC (الإنجليزية)

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

بوابة هولندا
بوابة عقد 1980
بوابة إعلام
بوابة ألمانيا

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[f60d8e246592c16e707d2dbe391805cb0ca3b281-1] الرَّقم التَّسلسليُّ المِعياريُّ الدَّوليُّ: https://www.worldcat.org/issn/0168-7433 — العنوان : The ISSN portal — الناشر: ISSN International Centre — المخترع: ISSN International Centre

[2] Robert Veroff, Automated reasoning and its applications, مؤرشف من الأصل في 15 مارس 2020 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)

[3] Allen B. Tucker, Computer science handbook, مؤرشف من الأصل في 28 يناير 2020 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)

[4] "Journal of Automated Reasoning". Springer. مؤرشف من الأصل في 06 يونيو 2018. اطلع عليه بتاريخ 02 أغسطس 2010. الوسيط |CitationClass= تم تجاهله (مساعدة); تحقق من التاريخ في: |تاريخ أرشيف= (مساعدة)