Pocket KrHyper ?J2ME手机的定理证?库。它支持命?,第一顺序和描述逻辑中的推理,并且针对移动知识管理或语义网络应用。
·第一个推理器的手机
·使用少量资源
·适合一?逻辑和描述逻辑的接口
- 主页
- Java
- Samsung C3010
- Pocket KrHyper
通过设备搜索
Samsung C3010
流行的应用程序
-
epub Reader (Albite reader) 19 Feb 13
-
Skype Lite (Nokia) 9 Mar 11
-
UC Browser Official Indonesian 22 Dec 10
-
Bounce Tales 7 Feb 17
-
City Cruiser Navigator 3D 5 Mar 13
-
Play Mermaids Millions 3 Jan 11
-
Football Manager: Championship of Russia 2008 29 Dec 10
Pocket KrHyper
类似的应用程序
MobileMaths (Java)
19 Mar 11
Arabic129
10 Jun 11
Calculus Quick Reference
23 Jul 11
mPustakSubtract
25 Jan 11
意见 Pocket KrHyper
通过设备搜索
Samsung C3010
流行的应用程序
-
guitar chords scales tuner 14 Sep 11
-
NetQin Secure SMS 5 Mar 13
-
Zip Utility 1 Feb 17
-
NavFunPro 21 Apr 12
-
City Cruiser Navigator 3D 5 Mar 13
-
Mewsim 1 Feb 17
-
Miami Nights 2: The City is Yours 10 Feb 17
评论没有发现