slc
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/slc/files/slc.zip/download
關於 slc
符號 Lambda 微積分是基於 lambda 微積分和組合邏輯的邏輯形式主義,其中只有一種物件,可以表示條件或相等性。它使用德布魯因和蘭塔微積分符號。
相關軟體
-
freeportfolio 免費
Outil 網路 (php/mysql) d '估值初始化 dvelopp l' ENFA (www.enfa.fr/portfolio ) 。
-
FIGTree 免費
使用改進的快速高斯變換和近似最近鄰域搜索,用於快速計算高斯變換的庫在多個維度中轉換。此庫可用於使用高斯內核進行高效的內核密度估計 (KDE)。
-
GenomeDiff 免費
通過多普洛特直觀地比較病毒基因組!Java 程式。手動從 pubed 下載!使用對齊視圖!例如,比較 Hiv-1 和 Visna。在 Hiv-1 內找到 p24!比較自然語言文字!匯出圖為 PDF!
-
AquaLog 免費
基於本體論的便攜式問答系統,以自然語言和本體論表示的查詢作為輸入,並返回從一個或多個知識庫 (KBs) 中得出的答案
-
hybrid model optimization/identification 免費
hybopt 是一組庫,用於解決混合(機械/經驗)動態(ODE 和 DAE)模型的識別和最佳控制問題。
-
RmscopII 免費
RmscopII 是一個 Tcl/Tk 文稿,負責將蛋白質結構檔(PDB 檔)或 RasMol 文稿重定向到多個 RasMol 作業階段。它可以用作 Web 瀏覽器幫助程式應用程式或獨立程式。
-
Matrix Expression Templates 免費
MET 是處理C++的矩陣類庫範本。此技術消除了矩陣物件的複製和臨時性,可以加快計算速度。
-
Standard Animal Behaviour Ontology 免費
SABO 是描述動物行為領域的頂級 OWL 本體論。作者:
-
RooFit toolkit for data modelling 免費
RooFit 套件提供了一個工具組,用於建模科學實驗結果的預期數值分佈。使用 RooFit 創建的模型可用於安裝,可視化,和蒙特卡洛研究。
-
Ebooka PDF Viewer 免費
使用 PDF 和 DjVu 支援預訂和文件閱讀器,提供舒適的閱讀功能。如果你正在尋找一個好的PDF閱讀器,停止在這裡,你找到了它。它做你期望它做的事。你可以很容易地放下和閱讀pdf書籍和檔與這個程式。驚人的增強暗暗你的螢幕在某種程度上,它不會傷害你的眼睛。易於設置和保持滾動。從所有讀者的最佳功能。功能:1) 讀取模式和控制模式(單點切換)2) 按寬度固定頁面, 保存在滾動 3) 在書籍中搜索 4) 內容表 5) 夜間模式 6) 搜索所有書籍 (P