Pocket KrHyper

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

Rating: 1.4/5 (Total Votes: 8)

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

·第一个推理器的手机

·使用少量资源

·适合一�?�逻辑和描述逻辑的接口

类似的应用程序

TouchMaths 6
TouchMaths 6

27 Jan 11

Love-math
Love-math

18 Sep 15

TouchMaths 8
TouchMaths 8

4 Mar 11

Aritm by MOB
Aritm by MOB

27 May 11

意见 Pocket KrHyper

评论没有发现
添加评论
打开图片!
通过设备搜索
Nokia 5610

Nokia 5610