 | عريmolle هو simover منصة عبر منطق الوسائط. |
| التحميل الان | |
عري الترتيب والملخص
الإعلانات
عري العلامات
عري وصف
Molle عبارة عن Prover عبر منصة للمنطق مشروط. Molle عبارة عن Prover عبر منصة للمنطق مشروط. وهو يستغل طريقة الوسائل الدلالية MODAL. يحتوي Project Molle على واجهة رسومية صالحة للغاية، مع تمثيل تفاعلي للنماذج الناتجة. Recirements: Java 1.5 ما هو الجديد في هذا الإصدار: يمكن لهذا الإصدار أن يثبت صياغات منطق مشروط مقترح، وتصور خطوات Protect TableAux ودقة، وتصور النماذج للحصول على أمثلة و counterexamples.
عري برامج ذات صلة
