Pocket KrHyper ?J2ME手機的定理證?庫。它支持命題,第一順序和描述邏輯中的推理,並且針對移動知?管理或語義網絡應用。
·第一個推理器的手機
·使用少量資源
·適合一階邏輯和描述邏輯的接口
- 主頁
- Java
- LG T375 / T370
- 科學教育
- 數學
- Pocket KrHyper
通過設備搜索
LG T375 / T370
最近瀏覽的軟件
-
UC Browser Cloud 2012 26 Dec 12
-
Pasangan Cinta Gila Java 13 Oct 12
-
Mughlai Recipes 19 Feb 13
-
pic 27 Apr 14
-
LOVE-CALCULATOR 8 Sep 15
-
Meze Rehberi 30 Oct 11
-
Q-Countdown 12 May 11
-
Awful Food Facts 13 Mar 11
-
Bateria virtual 22 Nov 12
-
gOmniTracker 7 Jan 11
按類別搜索
Pocket KrHyper
類似的應用程序
Scientific Calculator
12 May 11
MobileMaths (Java)
19 Mar 11
sodBrain MathEasy
22 May 11
mPustakAdd
13 Feb 11
意見 Pocket KrHyper
通過設備搜索
LG T375 / T370
最近瀏覽的軟件
-
UC Browser Cloud 2012 26 Dec 12
-
Pasangan Cinta Gila Java 13 Oct 12
-
Mughlai Recipes 19 Feb 13
-
pic 27 Apr 14
-
LOVE-CALCULATOR 8 Sep 15
-
Meze Rehberi 30 Oct 11
-
Q-Countdown 12 May 11
-
Awful Food Facts 13 Mar 11
-
Bateria virtual 22 Nov 12
-
gOmniTracker 7 Jan 11
評論沒有發現