Pocket KrHyper ?J2ME手机的定理证?库。它支持命?,第一顺序和描述逻辑中的推理,并且针对移动知识管理或语义网络应用。
·第一个推理器的手机
·使用少量资源
·适合一?逻辑和描述逻辑的接口
通过设备搜索
![我的设备](https://www.java-ware.net/data/images/undefined_device.png)
最近浏览的软件
2 13 Mar 14
Netbook Kullanim Kilavuzu 10 Mar 12
流行的应用程序
Award Winning Translator 9 Aug 11
Mozilla Mobile Browser 4 Apr 13
UC Browser Official Russian 15 Dec 10
Football Manager: Championship of Russia 2008 29 Dec 10
FunSMS 19 Dec 12
MOBILedit! Forensic 23 Sep 14
Browser Squirrel 2 Feb 17
Pocket KrHyper
类似的应用程序
意见 Pocket KrHyper
通过设备搜索
![我的设备](https://www.java-ware.net/data/images/undefined_device.png)
最近浏览的软件
2 13 Mar 14
Netbook Kullanim Kilavuzu 10 Mar 12
流行的应用程序
SPB Mobile TV 12 Feb 11
Google Maps 2 Mar 11
UC Web Browser 30 Mar 12
Doom II RPG 10 Feb 17
Ice Age 2 10 Feb 17
BOLT Browser 2 Nov 11
Total conquest 8 Feb 17
评论没有发现