Pocket KrHyper ?J2ME手机的定理证?库。它支持命?，第一顺序和描述逻辑中的推理，并且针对移动知识管理或语义网络应用。
＆middot;第一个推理器的手机
＆middot;使用少量资源
＆middot;适合一?逻辑和描述逻辑的接口
Pocket KrHyper
类似的应用程序
Complex Numbers Calculator
19 May 11
operation matrix
24 Jan 13
Mobile Maths v1.7
24 Jan 13
mPustak Subtract (320x240 360x640)
27 Nov 12
意见 Pocket KrHyper
通过设备搜索
最近浏览的软件
Romantic Life Tips (320x240) 8 Feb 13
Twisdial 24 Jan 11
Caller_TrueID 20 Jul 16
Cool Clock 22 Dec 10
Car With Tone 27 Aug 14
Moby Explorer 23 Jan 13
LOVE..... 24 Mar 14
Dial Codes 2 Dec 12
Fruit Ninja 2 27 Apr 18
Lost Planet 2 7 Dec 12
流行的应用程序
Browser Squirrel 2 Feb 17
UC Browser Official Indonesian 22 Dec 10
Talking Dog Real 1 Mar 13
Rapid Fire 22 Feb 12
Skype Lite (Samsung) 9 Mar 11
Freeflight 3D Flight Simulator 27 Oct 09
WORMS 2010 8 Feb 17
评论没有发现