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中的编码潜力。LNBI4463:394-405.
-
Echoes of Eternity 免费
目前正在开发的新计划,包括物理、心理学、哲学、希腊英雄和各种引文等主题。 图像和传记/鲜为人知的人物和理论将伴随上述。
-
rarFit 免费
基于 HEP 的根/RooFit 的 ML 安装套件