זוהי אפליקציית לינוקס בשם CTL-RP שניתן להוריד את המהדורה האחרונה שלה בשם ctlrp21_sourceforge.zip. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם CTL-RP עם OnWorks בחינם.
בצע את ההוראות הבאות כדי להפעיל את האפליקציה הזו:
- 1. הורד את היישום הזה למחשב שלך.
- 2. הזן במנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש שאתה רוצה.
- 3. העלה את היישום הזה במנהל קבצים כזה.
- 4. הפעל את האמולטור המקוון של OnWorks Linux או Windows מקוון או אמולטור מקוון של MACOS מאתר זה.
- 5. ממערכת ההפעלה OnWorks Linux שזה עתה התחלת, עבור אל מנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש הרצוי.
- 6. הורד את האפליקציה, התקן אותה והפעל אותה.
CTL-RP
Ad
תיאור
CTL-RP ראשי תיבות של Computation Tree Logic Resolution Prover. לוגיקה של עץ חישוב (CTL) היא לוגיקה זמנית של זמן הסתעפות. CTL-RP הוא מוכיח משפט מבוסס רזולוציה עבור CTL, המשתמש במוכיח משפט ראשון, SPASS, כמנוע ליבה להסקת הסקה.
אנא עיין בקישור הבא לפרטים נוספים.
http://cueb.science/web/software/ (אם אתה בתוך סין.)
http://ctlrp.sourceforge.net (אם אתה לא בתוך סין.)
קהל
מדע/מחקר
ממשק משתמש
שורת הפקודה
שפת תכנות
C
כל הקטגוריות
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/ctlrp/. זה התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.
