![](/images/graphics-bg.png)
Automated theorem proving : an overview
المؤلف
المصدر
The Arabian Journal for Science and Engineering. Section B, Engineering
العدد
المجلد 22، العدد 2B (31 أكتوبر/تشرين الأول 1997)، ص ص. 245-258، 14ص.
الناشر
جامعة الملك فهد للبترول و المعادن
تاريخ النشر
1997-10-31
دولة النشر
السعودية
عدد الصفحات
14
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
Automated Theorem Provers are computer programs written to prove, or help in proving, mathematical and non-mathematical theorems.
Automated Theorem Proving (ATP) is a rapidly advancing field and contains many potential research areas.
This paper is an overview of this important field.
It starts by giving the needed mathematical background followed by an overview.
The overview includes historical background, basic terminology and notations and a description of the major components of a typical theorem prover.
The paper also outlines the current state of research in ATP and a brief description of some of the existing theorem provers.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
al-Maghribi, Talal H.. 1997. Automated theorem proving : an overview. The Arabian Journal for Science and Engineering. Section B, Engineering،Vol. 22, no. 2B, pp.245-258.
https://search.emarefa.net/detail/BIM-390265
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
al-Maghribi, Talal H.. Automated theorem proving : an overview. The Arabian Journal for Science and Engineering. Section B, Engineering Vol. 22, no. 2B (Oct. 1997), pp.245-258.
https://search.emarefa.net/detail/BIM-390265
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
al-Maghribi, Talal H.. Automated theorem proving : an overview. The Arabian Journal for Science and Engineering. Section B, Engineering. 1997. Vol. 22, no. 2B, pp.245-258.
https://search.emarefa.net/detail/BIM-390265
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references : p. 257-258
رقم السجل
BIM-390265
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)