זוהי אפליקציית לינוקס בשם 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. Computation Tree Logic (CTL) היא לוגיקה זמנית של הסתעפות. CTL-RP הוא מוכיח משפטים מבוסס רזולוציה עבור CTL, המשתמש במוכיח משפטים מסדר ראשון, SPASS, כמנוע ליבה להסקה.אנא עיינו בקישור הבא לפרטים נוספים.
http://cueb.science/web/software/ (אם אתם נמצאים בתוך סין.)
http://ctlrp.sourceforge.net (אם אתם לא בתוך סין.)
קהל
מדע/מחקר
ממשק משתמש
שורת הפקודה
שפת תכנות
C
זוהי אפליקציה שניתן להוריד גם מ-https://sourceforge.net/projects/ctlrp/. היא אוחסנה ב-OnWorks על מנת שניתן יהיה להפעיל אותה באופן מקוון בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.