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) 搜索所有书籍 (