atp. نظرية آلية واقية تفاعلية
التحميل الان

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

atp. العلامات

وحدات نظرية إثبات نظرية بروفر

atp. وصف

ATP (Theorem Prover الآلي Prover) عبارة عن Theorem فوفر وحدات مجانية ومفتوحة مصممة تمكنك من الحصول على مزيد من التحكم في عملية الحساب. يتيح لك TP التبديل بين الجلسات التلقائية واليدوية بسهولة. تتيح طوف الفوفر أن تمددها على مستوى التحكم وعلى الخوارزمية LEVE. ATP هو منصة عرضية ويعمل على Mac OS X و Windows و Linux.

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