Pocket KrHyper

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

Rating: 1.4/5 (Total Votes: 8)

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

·第一个推理器的手机

·使用少量资源

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

类似的应用程序

意见 Pocket KrHyper

评论没有发现
添加评论
打开图片!