Pocket KrHyper ?J2ME手機的定理證?庫。它支持命題,第一順序和描述邏輯中的推理,並且針對移動知?管理或語義網絡應用。
·第一個推理器的手機
·使用少量資源
·適合一階邏輯和描述邏輯的接口
- 主頁
- Java
- Nokia 6131
- Pocket KrHyper
通過設備搜索
![Nokia 6131](https://static.java-ware.net/data/devices/images/nokia_6131_240.png)
Nokia 6131
最近瀏覽的軟件
RockeTalk - Free Social Networking 26 Dec 12
流行的應用程序
Fring (Java) 7 Dec 10
2GIS 10 Feb 17
ZXReader 2 Feb 17
VIBER 2015 1 Feb 17
Facebook Chat 22 Apr 11
SmartCam 8 Feb 11
iTunes Player 16 Feb 13
Pocket KrHyper
類似的應用程序
Algeo calculator
20 Apr 11
matrixmobile linear equations
3 Feb 11
Simple Scientific Calculator
20 Apr 11
TVH-72g Graphing Calculator
24 Jun 11
意見 Pocket KrHyper
通過設備搜索
![Nokia 6131](https://static.java-ware.net/data/devices/images/nokia_6131_240.png)
Nokia 6131
最近瀏覽的軟件
RockeTalk - Free Social Networking 26 Dec 12
流行的應用程序
Paschal J2ME 13 Feb 07
Jimm MIDP2 26 Dec 10
Skype Lite (Nokia) 9 Mar 11
Jimm MIDP1 26 Dec 10
UC Browser (Java) 10 Jan 17
UC Browser Official English 15 Dec 10
Mewsim 1 Feb 17
評論沒有發現