Pocket KrHyper ?J2ME手機的定理證?庫。它支持命題,第一順序和描述邏輯中的推理,並且針對移動知?管理或語義網絡應用。
·第一個推理器的手機
·使用少量資源
·適合一階邏輯和描述邏輯的接口
- 主頁
- Java
- Samsung J150
- Pocket KrHyper
通過設備搜索
Samsung J150
流行的應用程序
-
CellCity 2 9 Feb 17
-
Tank Ace 1944 7 Feb 17
-
Opera Mini for Java 10 May 14
-
Bounce Tales 7 Feb 17
-
Mobile Antivirus 7 Dec 12
-
Snaptu 3 May 11
-
Far Cry 2 8 Feb 17
Pocket KrHyper
類似的應用程序
TouchMaths 7
27 Jan 11
Solution (Java)
26 Jun 11
Jasymca
24 Jun 11
Featured Mathematical Tool
19 Apr 11
意見 Pocket KrHyper
通過設備搜索
Samsung J150
流行的應用程序
-
Spices 10 Dec 10
-
WhatsApp - Nokia 200 26 Dec 12
-
Winamp 3 Jan 12
-
Gravity Defied Panzer Edition 31 Jan 17
-
Mobile Theme Creator 28 Apr 11
-
Gangstar 2 3 Feb 17
-
Soundtracker Radio (Symbian/S40) 10 Mar 13
評論沒有發現