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 在 科学教育, 数学

类似的应用程序

Algeo calculator
Algeo calculator

20 Apr 11

SimulME
SimulME

7 Dec 10

Function Grapher
Function Grapher

26 Apr 11

TouchMaths 7
TouchMaths 7

27 Jan 11

意见 Pocket KrHyper

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

Samsung 2252
按类别搜索
流行的应用程序