Pocket KrHyper

应用截图:

申请详情:

版本: 0.9.3

上传日期: 20 Jun 11

开发: Thomas Kleemann, Alex Sinner

许可: 免费

人气: 36

尺寸: 75 Kb

Currently 1.38/5
1
2
3
4
5

Rating: 1.4/5 (Total Votes: 8)

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

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

＆middot;使用少量资源

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

20 Jun 11 在科学教育, 数学

类似的应用程序

Solve2Go

28 Apr 11

Arabic129

10 Jun 11

MathPro

23 May 11

SimulME

7 Dec 10

意见 Pocket KrHyper

评论没有发现

添加评论

打开图片！

通过设备搜索

我的设备