Pocket KrHyper

应用截图:

申请详情:

版本: 0.9.3

上传日期: 20 Jun 11

许可: 免费

人气: 36

尺寸: 75 Kb

Rating: 1.4/5 (Total Votes: 8)

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

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

＆middot;使用少量资源

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

类似的应用程序

26 Apr 11

12 May 11

10 Jun 11

$Math for Kids - English$

13 May 11

Nokia 3500