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

类似的应用程序

QWERTY Convert
QWERTY Convert

8 Jun 11

Fit2Go
Fit2Go

28 Apr 11

Melodies Juring
Melodies Juring

27 Jan 11

matrixmobile linear equations
matrixmobile linear equations

3 Feb 11

意见 Pocket KrHyper

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

LG T300
按类别搜索