Pocket KrHyper �?�J2ME手机的定理证�?�库。它支持命�?，第一顺序和描述逻辑中的推理，并且针对移动知识管理或语义网络应用。
＆middot;第一个推理器的手机
＆middot;使用少量资源
＆middot;适合一�?�逻辑和描述逻辑的接口
Pocket KrHyper
类似的应用程序
mPustak Divide (320x240 360x640)
27 Nov 12
TVH-72g Graphing Calculator
24 Jun 11
Solve2Go
28 Apr 11
TouchMaths 8
4 Mar 11
意见 Pocket KrHyper
通过设备搜索
LG C199
最近浏览的软件
Defensive Turret 18 Jun 18
Footie Tribal 1 Nov 11
Cute Winnie Pooh 2 Aug 13
Bogee_Exped 4 Jan 11
Active Yoga Free 17 Feb 12
Pocket London 3 Apr 11
Fri_13th 5 Jun 11
sword of inferno 31 Jan 13
Gutenary 9 Jun 11
Happy Farmer 2.0 23 Jun 18
流行的应用程序
Brothers In Arms 3: Hell's Highway 7 Dec 10
real football 2013 5 Feb 17
Gangstar 2 3 Feb 17
Islamic Daily Dua Durood Shareef Surah and More 4 Apr 13
Playman. Extreme Running 3 Feb 17
Opera Mini Latest 5 Mar 13
TV to Go (Java) 19 Jun 17
评论没有发现