Pocket KrHyper ?J2ME手机的定理证?库。它支持命?,第一顺序和描述逻辑中的推理,并且针对移动知识管理或语义网络应用。
·第一个推理器的手机
·使用少量资源
·适合一?逻辑和描述逻辑的接口
- 主页
- Java
- Nokia Asha 220
- 科学教育
- 数学
- Pocket KrHyper
通过设备搜索
Nokia Asha 220
最近浏览的软件
-
Sweet Bird FlasH 14 May 14
-
Accountancy eBook 23 Jun 11
-
Real Football 2006 3D 4 Jul 18
-
Lands of Honour: Fantasy Combat 5 Jul 18
-
Transformers Skin for KD Player 18 Feb 11
-
Bubbleys bubbles 24 Aug 17
-
SlovoEd Compact Bulgarian-Swedish & Swedish-Bulgarian Dictionary (Java) 20 Apr 11
-
DictionaryForMIDs Chemical Elements Database 12 Dec 10
-
Quote of the Day March 19 Jan 13
-
sharingan 14 May 14
按类别搜索
Pocket KrHyper
类似的应用程序
意见 Pocket KrHyper
通过设备搜索
Nokia Asha 220
最近浏览的软件
-
Sweet Bird FlasH 14 May 14
-
Accountancy eBook 23 Jun 11
-
Real Football 2006 3D 4 Jul 18
-
Lands of Honour: Fantasy Combat 5 Jul 18
-
Transformers Skin for KD Player 18 Feb 11
-
Bubbleys bubbles 24 Aug 17
-
SlovoEd Compact Bulgarian-Swedish & Swedish-Bulgarian Dictionary (Java) 20 Apr 11
-
DictionaryForMIDs Chemical Elements Database 12 Dec 10
-
Quote of the Day March 19 Jan 13
-
sharingan 14 May 14
评论没有发现