Jukka Häkkinen
- 訂閱: 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 | 開發人員
縮短網址: 已複製!
- 分享