Pocket KrHyper ?J2ME手機的定理證?庫。它支持命題，第一順序和描述邏輯中的推理，並且針對移動知?管理或語義網絡應用。
＆middot;第一個推理器的手機
＆middot;使用少量資源
＆middot;適合一階邏輯和描述邏輯的接口
Pocket KrHyper
類似的應用程序
Greenfish Plot
1 Jun 11
MultDivTrainer
24 May 11
Mobile Maths v1.7
24 Jan 13
Melodies Bgn ruang
26 Apr 11
意見 Pocket KrHyper
通過設備搜索
最近瀏覽的軟件
PiratesIsland 8 Mar 11
Kick Ups Lite 2 May 11
wsertyu 24 Aug 12
Bogee_Exped 4 Jan 11
Par 72 Golf 3 Feb 11
30 june 22 Apr 14
bvgrt 22 Apr 14
流行的應用程序
UC browser 8 mobile 30 Mar 12
Opera Mini 7.1 1 Feb 17
Mobile GMaps 3 Dec 10
EuroFighterFree 14 Mar 13
Angry birds s60v5 24 Dec 12
Mobile Drag Racing 1 Feb 17
Brothers In Arms 3: Hell's Highway 7 Dec 10
評論沒有發現