Pocket KrHyper

应用截图:
Pocket KrHyper
申请详情:
版本: 0.9.3
上传日期: 20 Jun 11
许可: 免费
人气: 36
尺寸: 75 Kb
下载

Rating: 1.4/5 (Total Votes: 8)

Pocket KrHyper ?J2ME手机的定理证?库。它支持命?，第一顺序和描述逻辑中的推理，并且针对移动知识管理或语义网络应用。

＆middot;第一个推理器的手机

＆middot;使用少量资源

＆middot;适合一?逻辑和描述逻辑的接口

20 Jun 11 在 科学教育, 数学

类似的应用程序

Graph (Java)
Graph (Java)

29 May 11

MobileMaths
MobileMaths

12 May 11

Distancia
Distancia

2 Jun 11

Equation Solver
Equation Solver

7 Dec 10

意见 Pocket KrHyper

评论没有发现
添加评论
打开图片！
通过设备搜索
LG GT505

LG GT505
按类别搜索
流行的应用程序