Pocket KrHyper ?J2ME手機的定理證?庫。它支持命題，第一順序和描述邏輯中的推理，並且針對移動知?管理或語義網絡應用。
＆middot;第一個推理器的手機
＆middot;使用少量資源
＆middot;適合一階邏輯和描述邏輯的接口
Pocket KrHyper
類似的應用程序
mPustak Multiply (320x240 360x640)
27 Nov 12
BrainBooster
6 Jun 11
Equation Solver
7 Dec 10
sodBrain MathEasy Free
30 May 11
意見 Pocket KrHyper
通過設備搜索
Sony Ericsson K310i
最近瀏覽的軟件
el clasico 24 May 14
流行的應用程序
UC Browser International 28 Mar 17
Instant Mobile Website Creation 18 Jun 11
Opera Mini Latest 5 Mar 13
Мобильный Банк Java 9 Feb 17
PicSay-Photo Editor 6 Aug 12
doodle jump 31 Jan 17
Jimm Siemens 2 26 Dec 10
評論沒有發現