Pocket KrHyper ?J2ME手機的定理證?庫。它支持命題,第一順序和描述邏輯中的推理,並且針對移動知?管理或語義網絡應用。
·第一個推理器的手機
·使用少量資源
·適合一階邏輯和描述邏輯的接口
- 主頁
- Java
- Samsung C3010
- Pocket KrHyper
通過設備搜索
![Samsung C3010](https://static.java-ware.net/data/devices/images/samsung_c3010.jpg)
Samsung C3010
最近瀏覽的軟件
Yahoo! Flickr 30 Dec 10
English-Arabic Mobile Snake Word Game 5 Dec 10
流行的應用程序
kaspersky scanner 5 Feb 13
Greedy Bunny Reloaded -An Arcade Thriller 4 Apr 13
Jimm Motorola 26 Dec 10
3D Street Racing Free3 23 Mar 12
S T A L K E R 3 Feb 17
City Cruiser Navigator 3D 5 Mar 13
Durak Rus 31 Jan 17
Pocket KrHyper
類似的應用程序
Aritm by MOB
27 May 11
mPustak Divide (320x240 360x640)
27 Nov 12
Maths Training
29 Aug 12
Dec2Bin
10 Mar 12
意見 Pocket KrHyper
通過設備搜索
![Samsung C3010](https://static.java-ware.net/data/devices/images/samsung_c3010.jpg)
Samsung C3010
最近瀏覽的軟件
Yahoo! Flickr 30 Dec 10
English-Arabic Mobile Snake Word Game 5 Dec 10
流行的應用程序
Pokemon card game gb 2 8 Feb 17
UC Web Browser 30 Mar 12
NEON TRANSPARENT 31 Oct 12
One Browser - formerly iBrowser 13 Oct 12
Project Gotham Racing 18 Dec 10
Photoshop - Free 8 Feb 17
Puppy Talk 3 Jan 12
評論沒有發現