教育逻辑工具的程序套件。现在，套件中唯一的工作程序是 Tautologica 模型编辑器。
版本历史记录
- 版本 Tautologica%20v0.3.1 发布于 2003-12-01
若干修复和更新 {*} - 版本 Tautologica v0.3.1 发布于 2003-12-01
软件信息
- 软件分类： 教育 > 其他
- 发布者： tautologica.sf.net
- 许可： 免费
- 价格： N/A
- 版本： 0.3.1
- 适用平台： linux
教育逻辑工具的程序套件。现在，套件中唯一的工作程序是 Tautologica 模型编辑器。