spassgui 0.5
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/spassgui/files/spassgui/0.5/spassgui-0.5.tar.bz2/download
關於 spassgui
Spassgui 是一個基於 Perl/Tk 的 Gui SPASS (一個自動定理證明一階邏輯與平等) http://spass.mpi-sb.mpg.de 。
相關軟體
-
Dynamis 免費
Dynamis 是用於研究動態系統的軟體工具的集合,包括其他系統(R、GNU 八度音階)和獨立程式的代碼片段。
-
WordTalk JA japan 免費
* Wordtalk 功能- 幫助記憶單詞- 互動記憶- 透過網路上載入單字簿 (wordbook.daum.net)
-
Poll Anywhere 免費試用
將 Android 手機轉換為輪詢回應系統。對於想要提問或投票的學生/聽眾並收集數據的教師或演示者來說,這是一個完美的應用程式。輪詢 Anywhere 通過簡訊收集輪詢問題,並在螢幕上實時顯示結果。投票隨處可見!只需讓參與者在應用參與時發簡訊您的電話號碼或您的 Google 語音號碼,即可在消息到達時為你收集和顯示結果。長期以來,手機一直是老師和主持人的問題,但現在你可以使用手機為你的優勢!課堂上投票學生的影響的證據是壓倒性的。這是
-
EBook Reader & EPUB Reader 免費試用
電子書閱讀器是 Android 的快速且高度可自定義的文件檢視器。説明您輕鬆存取、管理所有電子書。支援格式:epub、 rtf 、 fb2 (.zip), mobi 和純文字檔。主要功能:- 包括一個瀏覽器/下載器的網路電子書目錄/商店。- 包括一些流行的英語、法語、俄語、中文和波蘭圖書館。- 支援自定義 OPDS 目錄。- 或者,您也可以手動下載書籍,並把它們放入設備上的 /sdcard/書籍目錄
-
HoneyBSD 免費
旨在為高性能計算創建完整的符合 POSIX 標準的 BSD 環境的專案。
-
The Free Dictionary English 免費
非官方應用程式 免費字典英語 (thefreedictionary.com, en.thefreedictionary.com, 免費線上詞典 - 多種詞典,包括:- 語言:英語、西班牙文、德語、法語、義大利語、阿拉伯文、中文、波蘭文、葡萄牙文、荷蘭文、挪威語詞典-其他:醫學詞典、法律詞典、金融詞典、計算機詞 典、同義詞庫、首字母縮略詞和縮寫詞典、成語詞典、同義詞庫、哥倫比亞百科全書、維琪百科全書、哈欽森百科全書、經典文學、發音、瀏覽器詞、詞彙表
-
Dinucleotide signatures 免費
本專案包含一組檔(Perl、JAVA和 R 包),用於分析元基因組和基因組中的寡核苷酸特徵。
-
METS Editor (SobekCM) 免費
Windows 表單應用為數位圖書館資源創建符合 METS 的元資料檔。它允許使用者輸入所有書目資訊,並將頁面名稱和分區分配給結構映射。支持許多書目標準。
-
IELTS PREP 免費試用
立即下載並利用應用程式功能 –• 公牛; 只有雅思應用程式, 以涵蓋所有 4 個部分的準備材料和測試 & ndash; 聽, 閱讀, 寫作和口語•公牛;每個技能都用示例解釋,以及要遵循的提示和策略•公牛;16個練習測試與答案。練習回答在雅思考試中可以找到的全套問題類型。• 公牛; 以英文為母語的人的聲音, 讓你練習真正的雅思• 具有音訊、錄製和播放支援的口語測試。現在輕鬆練習您的口語技巧!只需 2
-
BANNER Named Entity Recognition System 免費
BANNER 是一個命名實體識別系統,主要用於生物醫學文本。它使用條件隨機欄位作為主要識別引擎,並包括對最近文獻中描述的最佳技術的廣泛調查。