Pocket KrHyper ?J2ME手機的定理證?庫。它支持命題,第一順序和描述邏輯中的推理,並且針對移動知?管理或語義網絡應用。
·第一個推理器的手機
·使用少量資源
·適合一階邏輯和描述邏輯的接口
- 主頁
- Java
- Nokia Asha 301
- 科學教育
- 數學
- Pocket KrHyper
通過設備搜索
Nokia Asha 301
最近瀏覽的軟件
-
Windows Media Player 12 of Windows 7 Skin for KD Player 22 Dec 10
-
i-Phrase Lite - Visual Chinese Phrasebook 25 May 11
-
Beeld 9 Apr 12
-
FreePlay Bollywood Quiz 26 Dec 10
-
Bluetooth Golden Eye SpyCam 14 Feb 11
-
Super Music Extractor Application 7 Jul 15
-
Machine Madness_xFree 30 Sep 16
-
变脸相机Facewarp v1.49 汉化版 12 Jan 13
-
AKVARYUM 14 Dec 12
-
Recordonline 28 Dec 10
按類別搜索
Pocket KrHyper
類似的應用程序
AnyUok Science Manual
19 Feb 13
Math Training
24 Nov 12
MultDivTrainer
24 May 11
MobileMaths
12 May 11
意見 Pocket KrHyper
通過設備搜索
Nokia Asha 301
最近瀏覽的軟件
-
Windows Media Player 12 of Windows 7 Skin for KD Player 22 Dec 10
-
i-Phrase Lite - Visual Chinese Phrasebook 25 May 11
-
Beeld 9 Apr 12
-
FreePlay Bollywood Quiz 26 Dec 10
-
Bluetooth Golden Eye SpyCam 14 Feb 11
-
Super Music Extractor Application 7 Jul 15
-
Machine Madness_xFree 30 Sep 16
-
变脸相机Facewarp v1.49 汉化版 12 Jan 13
-
AKVARYUM 14 Dec 12
-
Recordonline 28 Dec 10
評論沒有發現