Pocket KrHyper ?J2ME手機的定理證?庫。它支持命題,第一順序和描述邏輯中的推理,並且針對移動知?管理或語義網絡應用。
·第一個推理器的手機
·使用少量資源
·適合一階邏輯和描述邏輯的接口
- 主頁
- Java
- Nokia 6101
- Pocket KrHyper
通過設備搜索
Nokia 6101
最近瀏覽的軟件
-
Inspirationall Dating Tips 11 Nov 15
流行的應用程序
-
kaspersky scanner 5 Feb 13
-
3D Street Racing Free3 23 Mar 12
-
GTA IV 6 Dec 10
-
UC Browser Official Vietnamese 15 Dec 10
-
super mario bros deluxe 31 Jan 17
-
Art Of War 2 10 Feb 17
-
SPB Mobile TV 12 Feb 11
Pocket KrHyper
類似的應用程序
Quadratic equation solver free
25 Feb 11
Sketch2Go
28 Apr 11
mPustak Add (320x240 360x640)
27 Nov 12
意見 Pocket KrHyper
通過設備搜索
Nokia 6101
最近瀏覽的軟件
-
Inspirationall Dating Tips 11 Nov 15
流行的應用程序
-
Geometry Dash 3 Feb 17
-
Rapid Fire 22 Feb 12
-
PhoneGap 8 Oct 11
-
Mortal Kombat 4 7 Feb 17
-
Opera Mini 7.1 1 Feb 17
-
Prince of Persia 3 5 Feb 17
-
UC Browser Official Vietnamese 15 Dec 10
評論沒有發現