Dies ist die Linux-App namens CTL-RP zur Ausführung unter Linux online, deren neueste Version als ctlrp21_sourceforge.zip heruntergeladen werden kann. Es kann online beim kostenlosen Hosting-Anbieter OnWorks für Workstations ausgeführt werden.
Laden Sie diese App namens CTL-RP herunter und führen Sie sie online aus, um sie unter Linux online mit OnWorks kostenlos auszuführen.
Befolgen Sie diese Anweisungen, um diese App auszuführen:
- 1. Diese Anwendung auf Ihren PC heruntergeladen.
- 2. Geben Sie in unserem Dateimanager https://www.onworks.net/myfiles.php?username=XXXXX den gewünschten Benutzernamen ein.
- 3. Laden Sie diese Anwendung in einem solchen Dateimanager hoch.
- 4. Starten Sie den OnWorks Linux-Online- oder Windows-Online-Emulator oder den MACOS-Online-Emulator von dieser Website.
- 5. Rufen Sie vom gerade gestarteten OnWorks Linux-Betriebssystem aus unseren Dateimanager https://www.onworks.net/myfiles.php?username=XXXXX mit dem gewünschten Benutzernamen auf.
- 6. Laden Sie die Anwendung herunter, installieren Sie sie und führen Sie sie aus.
CTL-RP zur Ausführung unter Linux online
Ad
BESCHREIBUNG
CTL-RP steht für Computation Tree Logic Resolution Prover. Computation Tree Logic (CTL) ist eine zeitliche Verzweigungszeitlogik. CTL-RP ist ein auf Auflösung basierender Theorembeweis für CTL, der einen Theorembeweis erster Ordnung, SPASS, als Kern-Engine für die Inferenz nutzt.Weitere Einzelheiten finden Sie unter folgendem Link.
http://cueb.science/web/software/ (Wenn Sie sich in China befinden.)
http://ctlrp.sourceforge.net (Wenn Sie sich nicht in China befinden.)
Publikum
Wissenschaftsforschung
Benutzeroberfläche
Befehlszeile
Programmiersprache
C
Dies ist eine Anwendung, die auch von https://sourceforge.net/projects/ctlrp/ abgerufen werden kann. Es wurde in OnWorks gehostet, um es auf einfachste Weise online über eines unserer kostenlosen Betriebssysteme ausführen zu können.