Pocket KrHyper ?J2ME手机的定理证?库。它支持命?，第一顺序和描述逻辑中的推理，并且针对移动知识管理或语义网络应用。
＆middot;第一个推理器的手机
＆middot;使用少量资源
＆middot;适合一?逻辑和描述逻辑的接口
Pocket KrHyper
类似的应用程序
BrainBooster
6 Jun 11
TVH-72g Graphing Calculator
24 Jun 11
sodBrain MathEasy
22 May 11
mPustak Multiply (320x240 360x640)
27 Nov 12
意见 Pocket KrHyper
通过设备搜索
Sony Ericsson W508
最近浏览的软件
Quran - English 1 Dec 12
Basic Clock 16 Dec 13
iCineplex 30 Nov 11
Covert Ops 24 Jun 11
I Love U FlasH 27 Apr 14
CardOmen 8 Feb 13
GpsMid Finland 31 Mar 12
erer 20 Dec 12
Cant Stop Klondike Solitaire 12 May 11
World Soccer 2008 25 Nov 17
流行的应用程序
EQO 12 Dec 08
Opera Mini 7.1 1 Feb 17
Ferrari Gt: Evolution Hd 17 Dec 10
Brothers In Arms 3: Hell's Highway 7 Dec 10
Tetris FREE 31 Jan 17
Mobile Tracking System 1 Apr 11
Heroes of Might and Magic 3 10 Feb 17
评论没有发现