Pocket KrHyper 20 Jun 11 在 科学教育, 数学 �?�J2ME手机的定理证�?�库。它支持命�?，第一顺序和描述逻辑中的推理，并且针对移动知识管理或语义网络应用。 ＆middot;第一个推理器的手机 ＆middot;使用少量资源 ＆middot;适合一�?�逻辑和描述逻辑的接口... 阅读更多
