นี่คือแอป Linux ชื่อ CTL-RP เพื่อทำงานใน Linux ออนไลน์ ซึ่งสามารถดาวน์โหลดรีลีสล่าสุดเป็น ctlrp21_sourceforge.zip สามารถเรียกใช้ออนไลน์ใน OnWorks ผู้ให้บริการโฮสต์ฟรีสำหรับเวิร์กสเตชัน
ดาวน์โหลดและเรียกใช้แอปนี้ทางออนไลน์ที่ชื่อว่า CTL-RP เพื่อทำงานใน Linux ออนไลน์ด้วย OnWorks ฟรี
ทำตามคำแนะนำเหล่านี้เพื่อเรียกใช้แอปนี้:
- 1. ดาวน์โหลดแอปพลิเคชั่นนี้ในพีซีของคุณ
- 2. เข้าไปที่ file manager https://www.onworks.net/myfiles.php?username=XXXXX ด้วยชื่อผู้ใช้ที่คุณต้องการ
- 3. อัปโหลดแอปพลิเคชันนี้ในตัวจัดการไฟล์ดังกล่าว
- 4. เริ่มโปรแกรมจำลองออนไลน์ของ OnWorks Linux หรือ Windows ออนไลน์ หรือโปรแกรมจำลองออนไลน์ MACOS จากเว็บไซต์นี้
- 5. จาก OnWorks Linux OS คุณเพิ่งเริ่มต้น ไปที่ตัวจัดการไฟล์ของเรา https://www.onworks.net/myfiles.php?username=XXXXX พร้อมชื่อผู้ใช้ที่คุณต้องการ
- 6. ดาวน์โหลดแอปพลิเคชั่น ติดตั้ง และเรียกใช้
CTL-RP เพื่อทำงานใน Linux ออนไลน์
รายละเอียด:
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 เพื่อให้ทำงานออนไลน์ในวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา