Pocket KrHyper ?J2ME手機的定理證?庫。它支持命題，第一順序和描述邏輯中的推理，並且針對移動知?管理或語義網絡應用。
＆middot;第一個推理器的手機
＆middot;使用少量資源
＆middot;適合一階邏輯和描述邏輯的接口
Pocket KrHyper
類似的應用程序
PRIMElet V1.01
17 May 11
Math Trick Trainer (Symbian)
14 Nov 11
TouchSheet_ME
6 Jun 11
Aritm by MOB
27 May 11
意見 Pocket KrHyper
通過設備搜索
Motorola RAZR V3
最近瀏覽的軟件
mobecode 24 May 11
Hotelsdotcom for Android 30 Jan 12
Nimbuzz Calls and Messaging 16 Nov 11
How to study Bibles 12 May 15
Mobile Guard 21 Jun 17
FolderLo-ck 3 Aug 16
Dial Codes 2 Dec 12
Hide My Files Pro Free 16 Jan 13
UC Web Browser 30 Mar 12
Web Notes 15 Jan 11
評論沒有發現