Tautologica Logic Suite 0.3.1
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/tautologica/files/tautologica/Tautologica%20v0.3.1/tautologica_0_3_1.jar/download
關於 Tautologica Logic Suite
教育邏輯工具的程式套件。現在,套件中唯一的工作程式是 Tautologica 模型編輯器。
相關軟體
-
TSA 免費
非線性定量時間序列分析工具組,以C++程式設計樣式編寫。
-
UMass Lowell Handyboard Loader 免費
簡單、可靠、完整的手持板 / 68HC11 從 Umass Lowell 啟動載入器
-
Php to Xmi converter 免費
Php2Xmi 是一個用 PHP 編寫的命令列工具,它掃描 PHP 類並建構 XMI 檔,其中顯示的是找到的類的一部分。使用 KDE 的 Umbrello 建模工具檢視 XMI
-
How to braid hair 免費
有了這個應用程式,你會學習如何編織一個非常美麗和不尋常的辮子。關鍵詞:編織她的頭髮,編織,髮型,不尋常的造型,美麗的造型,美麗的頭髮,女人的頭髮
-
Roblox Catalog 免費
快速輕鬆地流覽 roblox 目錄,而無需啟動您的瀏覽器!此應用程式及其建立者與 Roblox 公司沒有任何關聯。應用程式徽標以及此應用程式中使用的所有資產都是其各自擁有者的財產。版權所有 2005 ROBLOX 公司保留所有權利。使用與許可權 roblox 網站可以在HTTP://www.roblox.com/
-
LabRAD 免費
LabRAD 是一個平臺,用於快速輕鬆地創建分散式儀器控制和數據採集系統。典型的研究設置涉及許多設備連接到由一組人管理的多台計算機。LabRAD有助於控制這種複雜性。
-
Gpiv 免費
Gpiv 是粒子圖像測速 (PIV) 的圖像用戶介面程式。它詢問圖像,驗證和後處理結果數據並顯示其結果。
-
IMMpractical 免費
IMMprac 方法實現了各種基於瑪律科夫鏈模型的方法,用於分析 DNA 序列。請引用: 火花, M.E., 布倫德爾, V. 和多曼, K.S. (2007) 瑪律科夫模型變種, 用於評估植物DNA中的編碼潛力。LNBI。4463:394-405.
-
Echoes of Eternity 免費
目前正在開發的新計劃,包括物理、心理學、哲學、希臘英雄和各種引文等主題。 圖像和傳記/鮮為人知的人物和理論將伴隨上述。
-
rarFit 免費
基於 HEP 的根/ RooFit 的 ML 安裝套件