Pocket KrHyper

應用截圖:
Pocket KrHyper
申請詳情:
版本: 0.9.3
上傳日期: 20 Jun 11
許可: 免費
人氣: 36
尺寸: 75 Kb
下載

Rating: 1.4/5 (Total Votes: 8)

Pocket KrHyper ?J2ME手機的定理證?庫。它支持命題，第一順序和描述邏輯中的推理，並且針對移動知?管理或語義網絡應用。

＆middot;第一個推理器的手機

＆middot;使用少量資源

＆middot;適合一階邏輯和描述邏輯的接口

20 Jun 11 在 科學教育, 數學

類似的應用程序

mPustak Divide (320x240 360x640)
mPustak Divide (320x240 360x640)

27 Nov 12

TouchMaths 8
TouchMaths 8

4 Mar 11

Distancia
Distancia

2 Jun 11

Quadratic equation solver free
Quadratic equation solver free

25 Feb 11

意見 Pocket KrHyper

評論沒有發現
添加評論
打開圖片！
通過設備搜索
Nokia 5310

Nokia 5310
按類別搜索
流行的應用程序