Pocket KrHyper ?J2ME手機的定理證?庫。它支持命題,第一順序和描述邏輯中的推理,並且針對移動知?管理或語義網絡應用。
·第一個推理器的手機
·使用少量資源
·適合一階邏輯和描述邏輯的接口
- 主頁
- Java
- Samsung C5212i
- Pocket KrHyper
通過設備搜索
![Samsung C5212i](https://static.java-ware.net/data/devices/images/samsung_c5212i.png)
Samsung C5212i
最近瀏覽的軟件
Movie Quiz Free 30 Dec 11
UltimateRally 12 Apr 11
Alphabetic EQ 31 Jan 11
UC Browser v7.4 24 Jan 13
3JWineCarnet 15 Jun 11
流行的應用程序
Worms 2008 31 Jan 17
eBuddy Messenger 18 Sep 11
QR Scanner Free 3 Mar 12
UC Browser Official Vietnamese 15 Dec 10
Project Gotham Racing 18 Dec 10
Ferrari Gt: Evolution Hd 17 Dec 10
Mewsim 1 Feb 17
Pocket KrHyper
類似的應用程序
意見 Pocket KrHyper
通過設備搜索
![Samsung C5212i](https://static.java-ware.net/data/devices/images/samsung_c5212i.png)
Samsung C5212i
最近瀏覽的軟件
Movie Quiz Free 30 Dec 11
UltimateRally 12 Apr 11
Alphabetic EQ 31 Jan 11
UC Browser v7.4 24 Jan 13
3JWineCarnet 15 Jun 11
流行的應用程序
WiFiCheema 21 Apr 12
Facebook Chat 22 Apr 11
IPCam Viewer 23 May 11
Jimm Motorola 26 Dec 10
UC browser 8 mobile 30 Mar 12
UC Web Browser 30 Mar 12
CricketCompanion 26 Dec 10
評論沒有發現