Pocket KrHyper ?J2ME手機的定理證?庫。它支持命題，第一順序和描述邏輯中的推理，並且針對移動知?管理或語義網絡應用。
＆middot;第一個推理器的手機
＆middot;使用少量資源
＆middot;適合一階邏輯和描述邏輯的接口
Pocket KrHyper
類似的應用程序
TouchMaths 9
3 Mar 11
Linalgo
5 Jul 11
mPustak Multiply (320x240 360x640)
27 Nov 12
Function Grapher
26 Apr 11
意見 Pocket KrHyper
通過設備搜索
Nokia 6267
最近瀏覽的軟件
Nokia D-core V2 12 May 11
FIFA 2009 13 Mar 18
-
Snow Flurry 22 Jun 18
Libris 2.0 16 Jun 11
jerry 20 Dec 12
Cake Mania 11 Dec 10
Aina e Qyamat 9 Nov 12
Fire Emblem 2 23 Jun 18
Paradise Destination 2 Feb 11
I Love You 5800 16 Feb 13
評論沒有發現