Pocket KrHyper ?J2ME手机的定理证?库。它支持命?,第一顺序和描述逻辑中的推理,并且针对移动知识管理或语义网络应用。
·第一个推理器的手机
·使用少量资源
·适合一?逻辑和描述逻辑的接口
- 主页
- Java
- Sony Ericsson K850i
- 科学教育
- 数学
- Pocket KrHyper
通过设备搜索
Sony Ericsson K850i
最近浏览的软件
-
QFind 28 Feb 13
-
Kroma 16 May 11
-
AT H2H Pulsa 16 May 11
-
English Russian Dictionary 6 May 11
-
Savage Island 3: Wheel of Time 10 May 18
-
SlovoEd Compact Slovenian-Spanish & Spanish-Slovenian Dictionary (Java) 8 Apr 11
-
** Iron ~ Man ** 10 May 14
-
Suzie's Sushi House 16 Jun 18
-
Go Bible - French (Louis Segond Translation) 24 Jun 11
-
eFood 12 Jan 13
按类别搜索
Pocket KrHyper
类似的应用程序
mPustak Multiply (320x240 360x640)
27 Nov 12
mPustak Subtract (320x240 360x640)
27 Nov 12
Numbers
1 Jul 11
意见 Pocket KrHyper
通过设备搜索
Sony Ericsson K850i
最近浏览的软件
-
QFind 28 Feb 13
-
Kroma 16 May 11
-
AT H2H Pulsa 16 May 11
-
English Russian Dictionary 6 May 11
-
Savage Island 3: Wheel of Time 10 May 18
-
SlovoEd Compact Slovenian-Spanish & Spanish-Slovenian Dictionary (Java) 8 Apr 11
-
** Iron ~ Man ** 10 May 14
-
Suzie's Sushi House 16 Jun 18
-
Go Bible - French (Louis Segond Translation) 24 Jun 11
-
eFood 12 Jan 13
评论没有发现