Pocket KrHyper ?J2ME手機的定理證?庫。它支持命題，第一順序和描述邏輯中的推理，並且針對移動知?管理或語義網絡應用。
＆middot;第一個推理器的手機
＆middot;使用少量資源
＆middot;適合一階邏輯和描述邏輯的接口
Pocket KrHyper
類似的應用程序
Quad2Go
28 Apr 11
Scientific Calculator
12 May 11
Function Grapher
26 Apr 11
Calculus Quick Reference
23 Jul 11
意見 Pocket KrHyper
通過設備搜索
Sony Ericsson K790i
最近瀏覽的軟件
Illuminum 7 Dec 10
djk-Romap 10 Jun 11
Baccarat- Spin3 17 May 11
METAL CLOCK 30 Jun 12
流行的應用程序
Russian Fishing 2 Feb 17
eBuddy Messenger 18 Sep 11
Nimbuzz (Java) 10 May 14
i miss you... 31 Oct 12
Total conquest 8 Feb 17
Psycho Jumper 31 Mar 13
Hill Climb Racing 31 Jan 17
評論沒有發現