 | מוּלחינם קוד פתוח פלטפורמה פלאטפורמה עבור לוגיקה מודאלית |
| הורד עכשיו | |
מוּל דירוג וסיכום
פרסומת
- רישיון:
- Freeware
- מחיר:
- FREE
- שם המפרסם:
- Andrea Mocci
- אתר האינטרנט של המוציא לאור:
- מערכות הפעלה:
- Mac OS X
- גודל הקובץ:
- 2.2 MB
מוּל תגים
מוּל תיאור
קוד פתוח ופתוח פתוח פלטפורמה עבור לוגיקה מודאלית Molle מנצל את שיטת הטפסים הסמנטית המודאלית. Molle כולל ממשק גרפי שמיש מאוד, עם ייצוג אינטראקטיבי של מודלים שנוצרו: Molle מורשה ומופץ תחת תנאי הרישיון החופשי האקדמי (AFL). דרישות: · ג 'אווה מה חדש במהדורה זו: · להוכיח נוסחאות של לוגיקה מודאלית הצעה · הוכחה עם מאפייני מסגרת מפורשת: {רפלקסיביות} (יותר לבוא ...) · לדמיין את tableaux הוכחה, ואת השלבים החלטה · לדמיין מודלים לדוגמאות ולמדיניות
מוּל תוכנה קשורה
