Це програма для Linux під назвою CTL-RP для роботи в Linux онлайн, останню версію якої можна завантажити як ctlrp21_sourceforge.zip. Його можна запустити в режимі онлайн за допомогою безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть онлайн цю програму під назвою CTL-RP для безкоштовного запуску в Linux онлайн з 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 для запуску в Linux онлайн
Ad
ОПИС
CTL-RP розшифровується як Довідник логіки роздільної здатності дерева обчислень. Логіка дерева обчислень (CTL) — це тимчасова логіка розгалуження. CTL-RP — це доказовник теорем на основі роздільної здатності для CTL, який використовує засіб підтвердження теорем першого порядку, SPASS, як основний механізм для висновку.Будь ласка, перейдіть за наступним посиланням для отримання додаткової інформації.
http://cueb.science/web/software/ (якщо ви перебуваєте в Китаї.)
http://ctlrp.sourceforge.net (якщо ви не в Китаї.)
Аудиторія
Наука/Дослідження
Користувацький інтерфейс
Командний рядок
Мова програмування
C
Це додаток, який також можна отримати з https://sourceforge.net/projects/ctlrp/. Його розміщено в OnWorks, щоб його можна було запустити в Інтернеті найпростішим способом з однієї з наших безкоштовних операційних систем.