Pocket KrHyper ?J2ME手機的定理證?庫。它支持命題,第一順序和描述邏輯中的推理,並且針對移動知?管理或語義網絡應用。
·第一個推理器的手機
·使用少量資源
·適合一階邏輯和描述邏輯的接口
通過設備搜索
![LG S365](https://static.java-ware.net/data/devices/images/lg_s365.png)
LG S365
流行的應用程序
Chicken Forest Free 2 Mar 12
internet explorer 16 Jun 17
CellCity 2 9 Feb 17
Terraria mobile 10 Feb 17
Google 31 Dec 10
UcBrowser V8 20 Mar 12
Sea Battle 31 Jan 17
Pocket KrHyper
類似的應用程序
Jasymca
24 Jun 11
mPustak Divide (320x240 360x640)
27 Nov 12
mPustakMultiply
25 Jan 11
Graph2Go
28 Apr 11
意見 Pocket KrHyper
通過設備搜索
![LG S365](https://static.java-ware.net/data/devices/images/lg_s365.png)
LG S365
流行的應用程序
BOLT lite Browser 25 Feb 11
Snake III 2 Feb 17
TrekBuddy 23 Sep 14
iTunes Player 16 Feb 13
GTA 3 GrandTheftAuto III 2 Feb 17
i miss you... 31 Oct 12
UC Browser International 28 Mar 17
評論沒有發現