Jukka Häkkinen | Windows 应用
- 订阅: RSS
- 平台: Windows 应用 (3)
- 排名: 0
- 总计: 3
- 列表: 0 + 0
- 评价: 0
- 免费: 3
- 积分: ¡ 1 + 9
- 视频: 0
- 付费: 0
- 折扣: 0
- 站点:
打开
-
- Natural Deduction using Strict Implication
- Windows 应用: 教育 来自: Jukka Häkkinen
- 免费
- 列表: 0 + 0 排名: 0 评价: 0
- 积分: 0 + 3 (3.0) 版本: PC Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication. ⥯
-
- NaturalDeduction
- Windows 应用: 教育 来自: Jukka Häkkinen
- 免费
- 列表: 0 + 0 排名: 0 评价: 0
- 积分: 0 + 4 (4.0) 版本: PC Proof generator and proof checker for propositional logic in "natural deduction" style. ⥯
-
- Truth Table Generator
- Windows 应用: 教育 来自: Jukka Häkkinen
- 免费
- 列表: 0 + 0 排名: 0 评价: 0
- 积分: 1 + 2 (2.5) 版本: PC Truth table generator. ⥯
分享
Jukka Häkkinen | 开发人员
短网址: 已复制!
- 分享