المستودع الأكاديمي جامعة المدينة
PLANNER: A Language for Proving Theorems
تسجيل الدخول
English
العربية
دي سبيس ـ الرئيسية
→
Harvested articles مقالات مستوردة من مؤسسات وجامعات عالمية
→
MIT Items
→
أعرض المادة
JavaScript is disabled for your browser. Some features of this site may not work without it.
PLANNER: A Language for Proving Theorems
Hewitt, Carl
رابط:
http://koha.mediu.edu.my:8181/xmlui/handle/1721
تاريخ:
2013-10-09
الوصف:
The following is a description of SCHEMATISE, a proposal for a program that proves very elementary theorems though the use of planning. The method is most easily explained through an example die to Black.
أعرض تسجيلة المادة الكاملة
الملفات في هذه المادة
الملفات
الحجم
الصيغة
عرض
لا توجد أي ملفات مرتبطة بهذه المادة.
هذه المادة تبدو في المجموعات التالية:
MIT Items
أبحث في دي سبيس
أبحث في دي سبيس
هذه المجموعة
البحث المتقدم
استعرض
كل دي سبيس
المجتمعات والمجموعات
حسب تاريخ النشر
المؤلفون
العنوان
الموضوعات
هذه المجموعة
حسب تاريخ النشر
المؤلفون
العنوان
الموضوعات
حسابي
تسجيل الدخول
التسجيل