EulerSharp 2011-06-24
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/eulersharp/files/eulersharp/Euler-2011-06-24/Euler-2011-06-24.zip/download
關於 EulerSharp
Euler 是一個支援基於邏輯的校樣的推理引擎。它是一個向後鏈推理器,通過 Euler 路徑檢測增強。它在 Java、C#、Python、Javascript 和 Prolog 中具有實現。通過 N3,它可與 W3C Cwm 互通。
相關軟體
-
g15tools 免費
用於羅技 g15 鍵盤的用戶空間工具。這些工具可用於在 lcd 上顯示自定義內容,也可用於處理鍵盤的額外鍵。
-
ARNUX 免費
歡迎來到ARUX:開源嵌入式Linux專案。第一個土耳其嵌入式 Linux 發行版。基於嵌入式和主控台的作業系統。由ARDIC(應用研究開發創新中心)HTTP://www.ardictech.com
-
Squirrel Shell 免費
松鼠殼是一個跨平臺的替代品,替代系統外殼,如在Linux和cmd.exe微軟Windows。它基於腳本語言 " 松鼠 "。
-
wekula - A web interface to Bacula 免費
韋庫拉是巴庫拉備份系統的 Web 介面。有了它,你將能夠改變Bacula設置,停止/啟動Bacula守護神,做單檔搜索和恢復...附加性,它將提供方便的PHP介面巴庫拉用戶端和巴庫拉守護神。
-
libfallocate 免費
如果檔案系統知道檔的大小,它們可以避免碎片化。此庫為謬接種() 系統調用(如 glibc-2.10+)提供了包裝器,但也知道 xfs/ocfs2 ioctl,並提供比 posix_fallocate() 更好的回退。
-
AAT Direct Connect Hub Project 免費
編寫文本和集線器模組以增強 OpenDCHub。Hub-Security script 稿按國家/地區篩選未註冊的使用者,並添加操作命令和安全功能。統計和有趣的腳本也可用。未來發展將轉向ODCH模組
-
yydecode -- decodes yEnc/uuencoded binar 免費
yydecode 是一個高度便攜的解碼器, 用於 yenc 編碼的二進位檔案使用網。它提供了卓越的功能,以udecode,並可以用作一個滴位更換。
-
ice Updater 免費
冰更新器 - 用於自動化和集中式 MS Office 更新的可程式設計解決方案。國際搜索和下載缺少的修補程式和服務包。在本地或遠端電腦上安靜安裝修補程式 - 無需使用者輸入。跟蹤日誌、Windows NT 或更晚
-
GACSoft Free Driver Updater 免費
GACSoft 免費驅動程式更新程式的描述:免費的驅動程式工具,在幾分鐘內優秀地更新 PC 驅動程式...本世紀是資訊技術時代。隨著高科技的飛速發展,互聯網滲透到人們的日常生活。幾乎每個人都知道並理解計算機。但是,你知道哪一部分是計算機不可或缺的?當然,它是一個驅動程式。驅動程式,特殊的軟體,允許 Windows 與其他軟體程式和硬體通信。如果您在沒有驅動程式或硬體(如視頻卡或網路攝像頭)的情況下操作計算機,您的電腦將不能正常工作和高效。
-
V-Drive 免費
V-Drive 是一個小型應用程式,可在您的 Windows PC 上建立一個虛擬硬碟,該硬碟可從您的 ISP、Uni 等提供的個人 Web 空間訪問其數據,從而允許您擁有可以從任何 Windows PC 訪問的磁碟驅動器。