Pocket KrHyper

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

Rating: 1.4/5 (Total Votes: 8)

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

·第一個推理器的手機

·使用少量資源

·適合一階邏輯和描述邏輯的接口

類似的應用程序

Graph (Java)
Graph (Java)

29 May 11

Maths Training
Maths Training

29 Aug 12

mjCalculator
mjCalculator

20 Apr 11

TouchMaths 8
TouchMaths 8

4 Mar 11

意見 Pocket KrHyper

評論沒有發現
添加評論
打開圖片!
通過設備搜索
Samsung S5620 Monte

Samsung S5620 Monte