aprove.

التحميل الان

aprove. الترتيب والملخص

الإعلانات

  • Rating:
  • رخصة:
  • Freeware
  • اسم الناشر:
  • LuFG Informatik II / RWTH Aachen
  • أنظمة التشغيل:
  • Windows All
  • حجم الملف:
  • 6.6 MB

aprove. العلامات


aprove. وصف

يمكن استخدام System Aprve للإيجار الآلي والإفادات الإنهائية الأعمقة لأنظمة إعادة كتابة الأموال (TRSS) برامج Prology وبرامج وظيفية وبرامج حتمية. تقدم Aprove حاليا العديد من تقنيات التحويلات، تقنيات الإنهاء الأساسية (بما في ذلك أوامر المسار المتكرر، أوامر Knut Bendix، أوامر متعددة الحدود، ومباريات التبعية، بما في ذلك التحسينات الحديثة مثل تضييق وإعادة كتابة ومفعالب أزواج التبعية، ومبدأ تغيير الحجم أيضا بالاشتراك مع أزواج التبعية. تتم كتابة الأداة في Java ويمكن إجراء البراهين في وضع تلقائي بالكامل أو في وضع تفاعلي عبر واجهة مستخدم رسومية. إعطاء Aprve حاول أن ترى مدى فائدة يمكن أن يكون في مشاريع التطوير الخاصة بك.


aprove. برامج ذات صلة

معلومات عنا