Pocket KrHyper ?J2ME手机的定理证?库。它支持命?,第一顺序和描述逻辑中的推理,并且针对移动知识管理或语义网络应用。
·第一个推理器的手机
·使用少量资源
·适合一?逻辑和描述逻辑的接口
- 主页
- Java
- Samsung C3530
- Pocket KrHyper
通过设备搜索
Samsung C3530
最近浏览的软件
-
Soweto Live 30 Mar 11
-
Puf Noktalar Bilgi Yarismasi 30 Oct 11
流行的应用程序
-
Rapid Fire 22 Feb 12
-
Jimm MIDP1 26 Dec 10
-
IPCam Viewer 23 May 11
-
internet explorer 16 Jun 17
-
Photoshop - Free 8 Feb 17
-
Angry Birds News 24 Mar 11
-
Google Maps 2 Mar 11
Pocket KrHyper
类似的应用程序
Function Grapher
26 Apr 11
Scientific Calculator
12 May 11
Simple Scientific Calculator
20 Apr 11
Math Trick Trainer (Symbian)
14 Nov 11
意见 Pocket KrHyper
通过设备搜索
Samsung C3530
最近浏览的软件
-
Soweto Live 30 Mar 11
-
Puf Noktalar Bilgi Yarismasi 30 Oct 11
流行的应用程序
-
UC Web Browser 30 Mar 12
-
Abdio PDF Reader 6 Apr 11
-
Jimm Basic 26 Dec 10
-
Age Of Heroes III Orcs retribution 2 Feb 12
-
Need For Speed Most Wanted 7 Feb 17
-
UC Browser 8 16 Mar 12
-
new instagram 3 Feb 17
评论没有发现