Pocket KrHyper 20 Jun 11 在 科學教育, 數學 ?J2ME手機的定理證?庫。它支持命題，第一順序和描述邏輯中的推理，並且針對移動知?管理或語義網絡應用。 ＆middot;第一個推理器的手機 ＆middot;使用少量資源 ＆middot;適合一階邏輯和描述邏輯的接口... 閱讀更多
