عري

Molle هو PROVER منصة عبر المنصة منطق مشروط، والتي تستغل طريقة Tableaux Modal Semanic
التحميل الان

عري الترتيب والملخص

الإعلانات

  • Rating:
  • رخصة:
  • Freeware
  • اسم الناشر:
  • DEI, Politecnico di Milano
  • أنظمة التشغيل:
  • Windows All
  • حجم الملف:
  • 2.2 MB

عري العلامات


عري وصف

Molle هو مقيم Loony Loony Modal. Molle هو Prover عبر منصة مكتوبة في جافا


عري برامج ذات صلة

معلومات عنا