ນີ້ແມ່ນແອັບ Linux ທີ່ມີຊື່ວ່າ CTL-RP ເພື່ອແລ່ນໃນ Linux ອອນໄລນ໌ ເຊິ່ງລຸ້ນຫຼ້າສຸດສາມາດດາວໂຫຼດໄດ້ໃນນາມ ctlrp21_sourceforge.zip. ມັນສາມາດດໍາເນີນການອອນໄລນ໌ຢູ່ໃນຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີ OnWorks ສໍາລັບສະຖານີເຮັດວຽກ.
ດາວນ໌ໂຫລດແລະດໍາເນີນການອອນໄລນ໌ app ນີ້ມີຊື່ CTL-RP ເພື່ອດໍາເນີນການໃນ Linux ອອນໄລນ໌ກັບ OnWorks ໄດ້ຟຣີ.
ປະຕິບັດຕາມຄໍາແນະນໍາເຫຼົ່ານີ້ເພື່ອດໍາເນີນການ app ນີ້:
- 1. ດາວໂຫຼດຄໍາຮ້ອງສະຫມັກນີ້ໃນ PC ຂອງທ່ານ.
- 2. ໃສ່ໃນຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 3. ອັບໂຫລດແອັບພລິເຄຊັນນີ້ຢູ່ໃນຕົວຈັດການໄຟລ໌ດັ່ງກ່າວ.
- 4. ເລີ່ມ OnWorks Linux ອອນລາຍ ຫຼື Windows online emulator ຫຼື MACOS online emulator ຈາກເວັບໄຊທ໌ນີ້.
- 5. ຈາກ OnWorks Linux OS ທີ່ເຈົ້າຫາກໍ່ເລີ່ມຕົ້ນ, ໄປທີ່ຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 6. ດາວນ໌ໂຫລດຄໍາຮ້ອງສະຫມັກ, ຕິດຕັ້ງມັນແລະດໍາເນີນການ.
CTL-RP ເພື່ອດໍາເນີນການໃນ Linux ອອນໄລນ໌
Ad
ລາຍລະອຽດ
CTL-RP ຫຍໍ້ມາຈາກ Computation Tree Logic Resolution Prover. Computation Tree Logic (CTL) ແມ່ນເຫດຜົນທາງໂລກທີ່ແຕກງ່າງເວລາ. CTL-RP ແມ່ນການພິສູດທິດສະດີພື້ນຖານຂອງການແກ້ໄຂສໍາລັບ CTL, ເຊິ່ງນໍາໃຊ້ການພິສູດທິດສະດີບົດທໍາອິດ, SPASS, ເປັນເຄື່ອງຈັກຫຼັກສໍາລັບການ inference.ກະລຸນາເບິ່ງການເຊື່ອມຕໍ່ຕໍ່ໄປນີ້ສໍາລັບລາຍລະອຽດເພີ່ມເຕີມ.
http://cueb.science/web/software/ (ຖ້າທ່ານຢູ່ໃນປະເທດຈີນ.)
http://ctlrp.sourceforge.net (ຖ້າທ່ານບໍ່ຢູ່ໃນປະເທດຈີນ.)
Audience
ວິທະຍາສາດ/ການຄົ້ນຄວ້າ
ໃນການໂຕ້ຕອບຜູ້ໃຊ້
ເສັ້ນຄໍາສັ່ງ
ພາສາການຂຽນໂປຣແກຣມ
C
ນີ້ແມ່ນແອັບພລິເຄຊັນທີ່ຍັງສາມາດເອົາມາຈາກ https://sourceforge.net/projects/ctlrp/. ມັນໄດ້ຖືກຈັດຢູ່ໃນ OnWorks ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ໃນວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.