Pocket KrHyper ?J2ME手机的定理证?库。它支持命?,第一顺序和描述逻辑中的推理,并且针对移动知识管理或语义网络应用。
·第一个推理器的手机
·使用少量资源
·适合一?逻辑和描述逻辑的接口
通过设备搜索
![我的设备](https://www.java-ware.net/data/images/undefined_device.png)
流行的应用程序
WM Keeper Mobile 1 Feb 17
Winamp 3 Jan 12
UC Web Browser 30 Mar 12
Jimm MIDP2 26 Dec 10
Project Gotham Racing 18 Dec 10
internet explorer 16 Jun 17
Need for Speed Undercover 23 Mar 10
Pocket KrHyper
类似的应用程序
意见 Pocket KrHyper
通过设备搜索
![我的设备](https://www.java-ware.net/data/images/undefined_device.png)
流行的应用程序
Nimbuzz 20 Oct 11
KD Player v0.96 32ox240 18 Feb 13
BOLT Browser 2 Nov 11
Brothers In Arms 3: Hell's Highway 7 Dec 10
Real Android Poker Cash 5 Jan 11
google chrome os jar 16 Jun 17
Opera Mini 7.1 1 Feb 17
评论没有发现